# CONFIG_HPET_MMAP is not set