Sensors do indeed work over HDMI. GPIO is everywhere for those with the eyes to see.