RE: [U-Boot-Users] mpc8245 timer