HDMI_HOTPLUG
hotplug = HDMI_READ(HDMI_HOTPLUG);
VC4_HDMI_REG(HDMI_HOTPLUG, 0x000c),
VC4_HDMI_REG(HDMI_HOTPLUG, 0x1a8),
VC4_HDMI_REG(HDMI_HOTPLUG, 0x1a8),
VC4_HDMI_REG(HDMI_HOTPLUG, 0x1c8),
VC4_HDMI_REG(HDMI_HOTPLUG, 0x1c8),