Optimised Raspberry Pi kernel images and configs