x86_64: fix HPET init race