Symbol: HPET_MAX_CLK_PERIOD