vastly improved udev-hdmi