Use correct arguments for SPCI calls via SMC.

Change-Id: I9859934b8a05a973c1e159211e01886e89be961d
2 files changed