# CONFIG_XZ_DEC_IA64 is not set