Re: [coreboot] coreinfo: CMOS Dump support and other fixes