[PATCH] ppc32: Fix timekeeping