Raspberry PI barebones kernel.