# CONFIG_ARCH_NPCM is not set