Re: [LinuxBIOS] [PATCH] buildrom: add preliminary gpxe support