# CONFIG_XIP_KERNEL is not set