[coreboot-gerrit] New patch to review for coreboot: b00aa36 msrtool: Fix verbose ignored by cpuid().