ppc_booke: Pass PowerPCCPU to ppc_booke_timers_init()