Someone knows how the jiffies is incremented in PPC? Using PIT, Decrementer or what? Thanks, Antonio.