Setting HPET frequency above 10Khz causes interrupt to stop

Question

I\'m running the hpet_example.c (from https://github.com/torvalds/linux/blob/master/samples/timers/hpet_example.c) under Ubuntu 18.04 (kernel 4.15.0-124-generic) on an Intel