Re: [coreboot] libpayload address virtualization