Hdmi and arbiter implementations

This entire file seems to be unused.