distro: Add efi pxe boot code