/boot/ipxe.efi /usr/lib/ipxe/ipxe.efi
/boot/ipxe.lkrn /usr/lib/ipxe/ipxe.lkrn