[syslinux] EFI: HP + syslinux = crash [ brown paper bag update ]

[Patrick Masotta]

>>>
>
> #cat /etc/debian_version
> Debian 7.8 (64bits)
 
My build VM is 32-bit.
  -- 
 -Gene
<<<

That  could probably mask the problem in your case...

Best,
Patrick