On Thu, Mar 17, 2016 at 10:52:20AM +0100, Peter Zijlstra wrote: > Mar 17 17:34:30 myhost kernel: smpboot: CPU0: AMD Opteron(TM) Processor 6274 > (family: 0x15, model: 0x1, stepping: 0x2) > Mar 17 17:34:30 myhost kernel: Performance Events: Fam15h core perfctr, > Broken BIOS detected, complain to your hardware vendor. > Mar 17 17:34:30 myhost kernel: [Firmware Bug]: the BIOS has corrupted hw-PMU > resources (MSR c0010200 is 430076)
FWIW, you might want to talk to HP about that; some machines have a magic key-combo in their BIOS screen with extra options, allowing you to fix this.
