hpet: fix build with CONFIG_HPET off