docs: Update SPM User Guide instructions

Change-Id: I33f4ef5707641a4a7dc597c3c9bf6c2c82111d65
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
1 file changed