[PATCH] Fix HPET operation on 64-bit NVIDIA platforms