# CONFIG_KERNEL_GZIP is not set