Switch back to using ACPI timer for t( and )t, with improvements in its long-term timekeeping abilities. To prevent rollover on long t( .. )t runs, you must call t-update from time to time.
cpu/x86/acpitimer.fth
cpu/x86/tsc.fth