# CONFIG_KERNEL_BZIP2 is not set