Miscellaneous doc fixes for v1.2

Change-Id: I6f49bd779f2a4d577c6443dd160290656cdbc59b
diff --git a/bl31/runtime_svc.c b/bl31/runtime_svc.c
index fd64c82..5b7a21c 100644
--- a/bl31/runtime_svc.c
+++ b/bl31/runtime_svc.c
@@ -110,7 +110,7 @@
 		}
 
 		/*
-		 * The runtime service may have seperate rt_svc_desc_t
+		 * The runtime service may have separate rt_svc_desc_t
 		 * for its fast smc and standard smc. Since the service itself
 		 * need to be initialized only once, only one of them will have
 		 * an initialisation routine defined. Call the initialisation