pc64: Make read_apic_timer() return remaining time in microseconds.