Use the host's vesamenu.c32 as well

When using syslinux and C32 modules it's important to use the C32 modules build with the same syslinux. This patch ensures that we use the host OS's vesamenu.c32, rather than the one shipped in the tarball.