Clean up generate_gpxe code