linux: update RPi patch (partial. only for testing. todo new patch)
projects/*/linux/linux.*.conf: sync configs
xf86-video-nvidia*: kernel 3.11 support
xf86-video-virtualbox: update to xf86-video-virtualbox-4.2.16
vboxguest: update to vboxguest-4.2.16
projects/*/linux/linux.*.conf: switch to SLUB
projects/*/linux/linux.*.conf: more debugging. lockups and hands. delay printk
projects/*/linux/linux.*.conf: disable CONFIG_NO_HZ_FULL_ALL