# CONFIG_FLATMEM_MANUAL is not set