[PATCH] ppc32: improve timebase sync for SMP