linux: remove old / deprecated kernel configs
linux: update to linux-3.11
linux: update RPi patch (partial. only for testing. todo new patch)
projects/*/linux/linux.*.conf: sync consifs
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 SLOB