[PATCH] hpet: fix access to multiple HPET devices