[Bug 869017] New: [Firmware Bug]: the BIOS has corrupted hw-PMU resources (MSR 38d is b0)