Updated Raspberry Pi userland libraries
Added kernel sources for Raspberry Pi
Updated virtual to include raspberrypi-sources