[install-guide: 1/5] since our pxe boot example uses a menu, and cites vesamenu.c32, we should include it