tree 92fbc3004c267e38bd318e82ed44a53a82d1180c
parent 448fb352f9be697e40b1224df3e33bca863326c6
author Andre Przywara <andre.przywara@arm.com> 1562805939 +0100
committer Andre Przywara <andre.przywara@arm.com> 1569408335 +0100

rpi4: Amend DTB to advertise PSCI

The device tree provided by the official Raspberry Pi firmware uses
spin tables for SMP bringup.

One of the benefit of having TF-A is that it provides PSCI services, so
let's rewrite the DTB to advertise PSCI instead of spin tables.
This uses the (newly exported) routine from the QEMU platform port.

Change-Id: Ifddcb14041ca253a333f8c2d5e97a42db152470c
Signed-off-by: Andre Przywara <andre.przywara@arm.com>