HDMI_M_CTL
HDMI_WRITE(HDMI_M_CTL, VC4_HD_M_SW_RST);
HDMI_WRITE(HDMI_M_CTL, 0);
HDMI_WRITE(HDMI_M_CTL, VC4_HD_M_ENABLE);
VC4_HD_REG(HDMI_M_CTL, 0x000c),