Snippets for arm-trusted-firmware 2.15.0 from Fedora x86_64

Sourced from https://kojipkgs.fedoraproject.org/packages/arm-trusted-firmware/2.15.0/3.fc45/data/logs/x86_64/build.log.