# CONFIG_KERNEL_LZMA is not set