hdmi_toggle: port hdmi toggle switch from jbx

Change-Id: I1e3f954ebe2ea068caffed8ea32de215c570feba