PXE menu doesn't contain any preboot options other than 'next device'