* shared/clock/p_clock.c: (run-time) check for e500-cpu and install different ISR for that type of CPU.