Re: [coreboot] msr_set(), msr_clear() and friends