[ARM] PSCI: Add PSCI support for SMP operations

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
Merge remote-tracking branch 'upstream/master' into A20

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>

Conflicts:
	arch/arm/board/common/smp_psci.c
	arch/arm/configs/generic-v7-ve-defconfig
[ARM] PSCI: improve inline assembly code for smc #0 service call.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[CORE] Add __noinline attribute for functions

An attribute to avoid GCC inlining static functions can be very
handy for arch specific code hence this patch adds __noinline
fuction attribute for this purpose.

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] PSCI: improve inline assembly code for smc #0 service call.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[ARM] Enabled PSCI SMP operations in defconfigs

All ARMv7, ARMv7ve and ARMv8 boards can potentially use PSCI based
SMP operations hence enable it in appropriate defconfigs.

Signed-off-by: Anup Patel <anup@brainfault.org>
Merge remote-tracking branch 'upstream/master' into A20

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>

Conflicts:
	core/include/vmm_compiler.h