feat(rpi4): add PCI SMCCC build variant to CI

The RaspberryPi 4 build can include support for the PCIe SMCCC
interface, add this option to the CI build to increase coverage.
The option only adds code to the build, so we do not need to build
the standard variant anymore to cover everything.

Change-Id: I1c8030cd8bf2c79a7559ad352b2fd2d4a23b4ce3
Signed-off-by: Andre Przywara <andre.przywara@arm.com>
1 file changed