Re: [coreboot] [patch][msrtool] Add K8 MSRs