others break under KDE and Gnome unless you set the keyboard type to
evdev (e.g. in the KDE System Settings). See
http://wiki.archlinux.org/index.php/Xorg_input_hotplugging#Using_the_evdev_driver_kills_my_arrow_keys.2C_printscreen_is_triggered_instead
TODO: update this in the X.org generator.
svn path=/nixpkgs/trunk/; revision=15343