[U-Boot-Users] Time Base register definitions inccorrect in asm-ppc/processor.h