I am now starting to push Linux 3.13 to testing. This has taken a bit, since i686 refused to boot at all, and the actual cause of the problem is still a mystery to me. Anyway, I found a semi-permanent workaround. For more information, please see [1] and the discussion that will hopefully follow. I already built lirc, nvidia and nvidia-304xx and tested nvidia on x86_64, successfully. The community packages bbswitch, r8168, rt3562sta, tp_smapi, vhba-module, virtualbox-guest-modules and virtualbox-host-modules still need a rebuild, I like won't get to it now. The respective maintainers should update these ASAP. One major change is coming (and Tom will be happy about it): Keyboard support is entirely modular, even for AT(PS/2) keyboards. Beware that in order to have keyboard input during early boot, you need the 'keyboard' hook in mkinitcpio.conf. In other news, this breaks 'rdinit=/bin/sh'. A post-install message has been added. [1] http://marc.info/?l=linux-kernel&m=139072738431286&w=2