You changed this earlier from unsigned long to unsigned int, but it is wrong (though it works because bits 32-63 of the HPET_CFG register are unused). Can you please make a note to change it back sometime?