[PATCH] hpet: fix HPET_INFO calls from kernel space