Hdmi and arbiter implementations

Should we get this constant from a global screen-width constant?