boot_prompt_option.patch
gpxe-git-0edf2405b457
gpxe-git-a803ef3dfeac
