Re: [coreboot] [RFC] Improve very early boot