ARMv8: Allow SiP service extensions on top of PSCI code