# CONFIG_KERNEL_XZ is not set