Don't use cpuclock-init.h definitions, use hp-timing.h definitions.