aarch64/vspace: implement user stack tracing

armv8/hyp: Call invalidateASIDEntry

armv8/hyp: Use invalidateTLBASID/ASIDVA functions

armv8/hyp: Add ASID/TLB helper functions

armv8/hyp: Add VMID reuse code

armv8: Fix style

armv8/hyp: Flush cache by kernel VA in EL2

armv8: memzero an ASID pool with seL4_ASIDPoolBits

armv8/hyp: Switch VCPU in setVMRoot when HYP is on

armv8/hyp: Handle VM faults triggered by VCPUs

armv8/hyp: Use S2 format for userland if HYP is on

armv8/hyp: Support EL2 stage-1 for kernel VSpace

armv8/hyp: Map AP to stage-2 access permissions

armv8/hyp: Add stage-2 memory attributes

armv8: Add SMP support for aarch64

(1) Use NODE_STATE() to access per-core kernel data.
(2) Allocate kernel stack in src/arch/arm/64/head.S.
(3) Use the TPIDR_EL1 to contain the kernel stack pointer
as well as the logical core ID. The kernel stack must
be 4-KiB aligned, and the lowest 12 bits of TPIDR_EL1
are for the logical core ID.
(4) Define the LD_EX, ST_EX, and OP_WIDTH as "ldxr", "stxr",
and "w".
(5) Add irq_remote_call_ipi and irq_reschedule_ipi

armv8: change %x to %lx in kernelDataAbort

Change the type specifiers used by printf in the function
kernelDataAbort for aarch64 from %x to %lx for 64-bit data.

aarch64: Re-validate ipc buffer is not device frame

This should be redundant, but is required for verification to go throug

Declare and check IPC buffer size

Adds a named constant of the IPC buffer size bits that can be used when checking the
size/alignment of an IPC buffer. This constant has a compile time assertion to ensure
it corresponds to the actual IPC buffer

Share linker.h between architectures

Fix licenses (the rest)

[STYLE_FIX]

SELFOUR-748: ARM - Support local/remote TLB invalidation operations

[STYLE_FIX]

Avoid using bitfield generated *_ptr_new functions

These functions can cause slow down during verification C parsing and do not currently
have any proofs about them. More importantly there is no performance impact from just
calling the regular *_new functions instead

s/DEBUG/CONFIG_DEBUG_BUILD/

DEBUG definition is not supposed to be used in the kernel, rather CONFIG_DEBUG_BUILD,
which can be toggled separately to user notion of DEBUG

SELFOUR-744: ARM/SMP - Map kernel window and root task as cache-shareable

Default user PTEs/PDEs are also default to be shared. Later, we can
provide an option to allow the user not to map frames as shared.

s/D61/DATA61/ in license headers for consistency

aarch64: Initial implementation

aarch64: add preliminary folders and Makefiles