ppc/ppc405: Rework ppc_40x_timers_init() to use a PowerPCCPU