Re: [coreboot] Some Notes On Building gPXE for Coreboot