Re: [coreboot] [LinuxBIOS] Fwd: rdcmos