Re: [OS-BUILD PATCH 0/3] redhat: Switch KABI file compression to xz