Syslinux update. Fixes booting ESX5.1. Fixes #603.

I replaces menu.c32 and pxelinux.0 with files from the syslinux 4.05 packages as provided by Fedora 19. Please review if this is the correct thing to do.