# CONFIG_XZ_DEC_ARMTHUMB is not set