Availability of HDMI2.0b boards