[syslinux] Will syslinux UEFI boot the RHEL7.0 kernel (3.10.0-123.el7.x86_64) ?

[Spike White]

All,

Is syslinux 6.03 able to UEFI boot the RHEL7.0 Linux kernel? I'm trying &
failing
to do this.

I haven't UEFI-booted RHEL7.0 kernel via syslinux before.  (But I have UEFI
pxelinux
booted Fedora 20, which is approximately RHEL7.0.)

I remember HPA mentioned that older Linux kernels required "UEFI boot
assist",
something that GRUB2 offers but syslinux does not.

And indeed, the RHEL 6.5 kernel was so old it was that way.

However, the boot/install kernel for RHEL7.0 is 3.10.0-123.el7.x86_64.

I do a UEFI boot and load my syslinux boot menu off my USB install media.
(I'm using syslinux 6.03, official binaries.)  All looks good, until I
select
my RHEL7 menu item.

LABEL oel70_x86_64
   MENU label ^OEL 7.0/64 (Std build)
   MENU DEFAULT
   MENU INDENT 3
   TEXT HELP
               Pick me!  Pick me! I'm the only choice anyway.
   ENDTEXT
   KERNEL /boot/ol/7.0/x86_64/vmlinuz
   APPEND initrd=/boot/ol/7.0/x86_64/initrd.img
inst.stage2=hd:LABEL=EFIBOOT:/stage2/squashfs.img
inst.ks=hd:LABEL=EFIBOOT:/ks.cfg inst.gpt

It loads the vmlinuz, then starts loading the initrd.img, then dies. (No
output).  And returns to the syslinux menu.

I've tried "rd.debug=1 and rescue". No additional output.

Doing BIOS boot (more correctly, "Legacy BIOS mode under UEFI"), the
kernel/vmlinuz boots fine.

Spike