Make cpu_get_real_ticks use mfspr