This fixes (again...) CPU frequency calibration on some platforms with
the Cypress chip.  That is, at some point CLOCK_TICK_RATE has been
changed to represent RTC reference clock instead of PIC one.  Which
makes calibrate_cc_with_pic() produce utterly bogus results.