support JBX_HDMI kernel