A home-brew kernel for Raspberry Pi