UEFI kickstart PXE (RHEL 6)

I am wondering if anyone here has worked through getting UEFI kickstarts to work via PXE. I am trying to follow the instructions from - https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/6/html/Installation_Guide/s1-netboot-pxe-config-efi.html

And one part is not lining up...

mkdir /var/lib/tftpboot/pxelinux
mkdir /var/lib/tftpboot/pxelinux/bootx64.efi
cp /boot/efi/EFI/redhat/grub.efi /var/lib/tftpboot/pxelinux/bootx64.efi

then.. add this to your dhcpd.conf

 if option arch = 00:06 {
                          filename "pxelinux/bootia32.efi";
                  } else if option arch = 00:07 {
                          filename "pxelinux/bootx64.efi";
                  } else {
                          filename "pxelinux/pxelinux.0";
                  }

I assume the "filename" declaration should point to ... a file? The instructions seem to indicate it would instead point to a directory "/var/lib/tftpboot/pxelinux/bootx64.efi" => pxelinux/bootx64.efi which would then have grub.efi in that directory?

Can someone please validate that I my assumption is correct (and possibly lend up some pointers)? Everything works great with BIOS-based kickstarts using PXE, but if I change my machine to only boot UEFI, it fails (and I can't really see what's going on as the machine then proceeds to the next boot device).