Easy kernel building for the Raspberry Pi