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