Add support for Xilinx Zynq MPSoC to Linux config

This allows to boot the ACS-IR Linux kernel on the Xilinx ZCU102 board for
example.

Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>