ARMv8/PSCI: Fixup the device tree for PSCI