Re: [coreboot] Questions about how to record hardware information on ARM