feat(update_bootloaders.sh) add UEFI boot support

This creates the EFI/BOOT/ directory in the boot partition and copies a
version of the kernel into there so that UEFI bioses can boot directly
into the kernel, no bootloader needed.