040000 tree b70c372a94e141a28963e770eeb90cf74ba75d07	arm64_gicv3_its
040000 tree 8c14e5da2288395802af532ce6c06c3a28368ca7	arm64_high_addresses
040000 tree 81b7097c5e81a1dde379fac4383cfc2d33d3d70f	arm64_psci
040000 tree 29530193d2f87ae682fd143eaaa4abed65abfad3	arm64_smc_call