Re: [coreboot] iPXE as payload?