gerrit-public.fairphone.software / platform / external / arm-trusted-firmware / 71581c9c17764c0834ff7052a0c990dcfc4f500f / lib / psci / aarch32