Fix docs references to header files

Change-Id: I5c06e777d93ac653a853997c2b7c1c9d09b1e49c
Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>

docs/psci-lib-integration-guide.rst

@@ -127,7 +127,7 @@ PSCI Library Interface
 ----------------------
 
 The PSCI library implements the `PSCI Specification`_. The interfaces
-to this library are declared in ``psci.h`` and are as listed below:
+to this library are declared in ``psci_lib.h`` and are as listed below:
 
 .. code:: c
 
@@ -186,7 +186,7 @@ Interface : psci_setup()
 This function is to be called by the primary CPU during cold boot before
 any other interface to the PSCI library. It takes ``lib_args``, a const pointer
 to ``psci_lib_args_t``, as the argument. The ``psci_lib_args_t`` is a versioned
-structure and is declared in ``psci.h`` header as follows:
+structure and is declared in ``psci_lib.h`` header as follows:
 
 .. code:: c
 
@@ -200,9 +200,9 @@ structure and is declared in ``psci.h`` header as follows:
 The first field ``h``, of ``param_header_t`` type, provides the version
 information. The second field ``mailbox_ep`` is the warm boot entrypoint address
 and is used to configure the platform mailbox. Helper macros are provided in
-psci.h to construct the ``lib_args`` argument statically or during runtime. Prior
+``psci_lib.h`` to construct the ``lib_args`` argument statically or during
-to calling the ``psci_setup()`` interface, the platform setup for cold boot
+runtime. Prior to calling the ``psci_setup()`` interface, the platform setup for
-must have completed. Major actions performed by this interface are:
+cold boot must have completed. Major actions performed by this interface are:
 
 -  Initializes architecture.
 -  Initializes PSCI power domain and state coordination data structures.