Re: [coreboot] [RFC] coreboot image marker