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