[U-Boot] [PATCHv4 5/7] ARMv8/PSCI: Fixup the device tree for PSCI