Snippets for linux 7.2.0 from Fedora ppc64le

Sourced from https://kojipkgs.fedoraproject.org/packages/kernel-headers/7.2.0/61.fc46/data/logs/ppc64le/build.log.