Change the boot file you’re using (assuming this is booting via UEFI) to ipxe7156.efi