TIL you can use a HDMI port as an I²C interface on Linux http://www.sodface.com/tech/alpine-chromebase-rtc/ #Linux