[coreboot] Re: PXE on Coreboot