SPM: Add more SPCI helpers

Change-Id: I966b1a8742eba197db2e983c1f0dd3ae0efa2541
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
2 files changed