Add menu.c32 and pxelinux.0 from syslinux version 4.02.
This fixes #603