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