# CONFIG_NO_BOOTMEM is not set