Fix timer handling on MPC85xx systems