tsc: Change default tsc calibration method to pmtimer on EFI systems