# CONFIG_NUMA_EMU is not set