HDMI_CEC_RX_DATA_1
u32 val = HDMI_READ(HDMI_CEC_RX_DATA_1 + (i >> 2));
VC4_HDMI_REG(HDMI_CEC_RX_DATA_1, 0x010c),
VC5_CEC_REG(HDMI_CEC_RX_DATA_1, 0x038),
VC5_CEC_REG(HDMI_CEC_RX_DATA_1, 0x038),
VC5_CEC_REG(HDMI_CEC_RX_DATA_1, 0x038),
VC5_CEC_REG(HDMI_CEC_RX_DATA_1, 0x038),