Performance counters disabled in Fedora 13?