Merlin Non_Pxe is missing from boot sequence, SF1 has EFI/boot but no merlin and boot64 in there. Anyone had the same issue?