[U-Boot-Users] PPC440 interval timer off by factor of 10?