Documentation/timers/hpet_example.c: only build on X86