perf_counter, x86: make interrupt handler model specific