[syslinux] Problems PXE booting syslinux.efi on HP EliteBook 2560p / 8460p

[Patrick Masotta]

I have installed the latest gnu-efi sources, 
(git clone git://git.code.sf.net/p/gnu-efi/code gnu-efi-code)
recompiled and tested getting exactly the same results.

I have posted the issue at HP
http://h30434.www3.hp.com/t5/Notebook-Operating-Systems-and-Software/EFI-firmware-bug-on-HP-EliteBook-2560p-8460p/td-p/4931486

Best,
Patrick