imx8x: Boot second core

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Remove invoke_frame_identify, replaced with frame_identify().

This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel,armv8: move offsets constants to target/armv8/offsets_target.h

This is necessary because cpuboot's boot_arch.c for armv8 gets
KERNEL_OFFSET from the kernel headers(!) and the arch/offsets.h header
defines mem_to_local_phys() which conflicts with the mem_to_local_phys()
stub in include/barrelfish/cap_predicates.h which is pulled in with the
new cap_direct_identify() infrastructure.

So we move the constants to target/armv8/offsets_target.h and include
that in boot_arch.c instead of offsets.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

armv8,psci: use hvc/smc according to the ACPI

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

armv8: separating the fvp and qemu targets, adding QEMU/aarch64 to harness

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

ARMv8: setting stack limit when booting cores

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: adding support for the parking protocol to coreboot

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: build bootdriver and load boot+cpu driver in coreboot

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: having distinct entries for the different boot protocols

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: use ipi_cap invocation for coreboot.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: coreboot allocates memory depending on monitor size

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: working implementation of coreboot

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: setting new kernel stack properly in coredata

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: adding debug syscall to get coreboot test working

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

coreboot: prepare new cpudriver on armv8 and use of hwid_t

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: taking over steps of x86 coreboot to start with

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

coreboot: reorganize into arch directory, starting with ARMv8 support

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>