[ARM] Minor fix in generic-v6-defconfig

By mistake, ARM11MP CPU was selected for generic-v6-defconfig.

We are supposed to used Generic-v6 CPU for generic-v6-defconfig
hence this patch.

Signed-off-by: Anup Patel <anup@brainfault.org>
[CORE] Add support for per-CPU IRQs in Host IRQ subsystem

For handling, per-CPU Host IRQs we need special mechanisms in
Host IRQ subsystem. This patch tries achieve this.

The IRQCHIP driver is now supposed to mark per-CPU Host IRQs
and drivers using per-CPU Host IRQs will need to register IRQ
handler on all Host CPUs. To achieve this we now have per-CPU
struct vmm_host_irq_action of each Host IRQ.

The patch all adds vmm_host_irq_raise() API which can be used
raise a Host IRQ from software but for this API to work the
IRQCHIP must provide irq_raise() callback.

Signed-off-by: Anup Patel <anup@brainfault.org>
[DRIVERS] irqchip: Make other drivers and arch/arm independent of GIC APIs

Currently, many parts of arch/arm and local timer driver directly
call gic_enable_ppi() and gic_raise_softirq() for SMP host.

Recent enhancements in vmm_host_irq enables us remove this dependency
on GIC APIs.

This patch makes local timer driver and arch/arm code totally independent
of GIC APIs.

Signed-off-by: Anup Patel <anup@brainfault.org>
Merge remote-tracking branch 'upstream/master' into A20
[TESTS] Minor fix in virt-v8 READMEs

Recently we renamed generic-v8 board to generic board so that
we can use same generic board for 32bit ARM CPUs as well.

This patch updates virt-v8 READMEs for the above.

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] Move board specific reset to drivers/power/reset

This patch moves poweroff and reset related code to drivers/power/reset
so that we can further reduce board specific code and make board more
closer to generic board.

More specifically this patch adds power-off/reset driver for BCM2835,
Realview, VExpress, and Sun4i under directory drivers/power/reset
and removes related code from arch/arm/board directory.

Signed-off-by: Anup Patel <anup@brainfault.org>
[DRIVERS] power: Fix menu name for power-off or reset drivers

The power-off or reset driver menu name was wrong. This patch
fixes this.

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] Enable power-off or reset drivers in generic board defconfigs

Enable recently added power-off or reset drivers in generic board
defconfigs namely generic-v6-defconfig, generic-v7-defconfig and
generic-v7-ve-defconfig.

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] Add generic board dts files for bcm2835, imx25, imx31, and sun4i

More DTS files for generic board support.

This patch adds bcm2835, imx25, imx31, and sun4i DTS files for
generic board support.

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] generic: Disable GIC driver for ARMv5

None of the ARMv5 boards use GIC as interrupt controller.

Moreover, GIC is not mandatory for generic board support any more.

This patch disables GIC driver from generic-v5-defconfig.

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] generic: Enable ARM ERRATA 411920 workaround for ARMv6

BCM2835 (Raspberry Pi) requires ARM ERRATA 411920 workaround hence
by default enable it for ARMv6 generic board defconfig.

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] Remove boards already handled by generic board support

Currently, generic board support handles lot of ARM boards such as
bcm2835, imx25, imx31, realview, sun4i, versatile, and vexpress.

This patch removes these board specific code so that we always use
device tree based generic board support for these boards.

After this patch, only Exynos4 and OMAP3 board support will remain
to be merged in generic board support.

Signed-off-by: Anup Patel <anup@brainfault.org>
[TESTS] Update READMEs to use generic board support

With recent patches for multiplatform Xvisor ARM, lot of ARM boards
are merged into generic board support hence update all READMEs under
tests/ directory to use generic board support.

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:
	arch/arm/board/common/sunxi/openconf.cfg
	arch/arm/board/generic/dts/imx31/objects.mk
	arch/arm/board/generic/dts/sun4i/one_guest_pb-a8.dts
	arch/arm/board/generic/dts/sun4i/one_guest_vexpress-a9.dts
	arch/arm/board/generic/dts/sun4i/sun4i-a10.dtsi
	arch/arm/board/generic/dts/sun4i/two_guest_pb-a8.dts
	arch/arm/board/openconf.cfg
	arch/arm/board/sun4i/dts/one_guest_pb-a8.dts
	arch/arm/board/sun4i/dts/one_guest_vexpress-a9.dts
	arch/arm/board/sun4i/dts/sun4i-a10.dtsi
	arch/arm/board/sun4i/dts/two_guest_pb-a8.dts
	arch/arm/board/sun4i/objects.mk
	arch/arm/board/sunxi/brd_main.c
	arch/arm/board/sunxi/dts/a8/one_guest_pb-a8.dts
	arch/arm/board/sunxi/dts/a8/one_guest_vexpress-a9.dts
	arch/arm/board/sunxi/dts/a8/sun4i-a10.dtsi
	arch/arm/board/sunxi/dts/a8/two_guest_pb-a8.dts
	arch/arm/board/sunxi/openconf.cfg
	arch/arm/configs/sun4i-defconfig