Baremetal kernel components for the Raspberry Pi.