_acpi_get_timer_early
counter = _acpi_get_timer_early();
acpi_hpet_offset = (uint32_t)oldclock - _acpi_get_timer_early();