Adding a custom kernel and bootloader