Download new versions of menu.c32 and pxelinux.0 from syslinux 4.02