# CONFIG_KERNEL_UNCOMPRESSED is not set