Cores seem to enter in deadlock, this disappears removing disacble_pmu, changing -O2 to -O1, etc