# CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
