Syslinux and UEFI

This only updates us to the current stable syslinux 4, after testing syslinux 6 w/ UEFI I'll update to that version.

Adds a UEFI build for QEMU, it has some issues: won't boot to virtio disks, kexec hangs. But it is a start!