[PATCH 4.19 58/66] hpet: Support 32-bit userspace