Share linker.h between architectures

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

arm: Remove duplicate cast

arm: Use new cap rights structures in iospace

SELFOUR-567: use seL4_CapRights_t from libsel4

This change

* changes seL4_CapRights from the kernel to be seL4_CapRights_t in
libsel4
* deprecates the duplicated seL4_CapRights in libsel4, which is
now the bitfield generated type seL4_CapRights_t.
* fixes all usages in kernel and libsel4

Impact: for verification, this will require the type to change name
from cap_rights to seL4_CapRights_t.
This is a breaking libsel4 API change, although most code uses
seL4_AllRights or similar constants, which will not break
at a source level as these constants have been updated.

arm: Remove lookup error message

This error case is triggered by a lot of regular operation, and having
an error message results in unnecessary spam

arm: Correctly mask SMMU PT addresses

Page table virtual address cover more than the single page that
was being masked out before, this corrects the mask so that we
are just left with the bits that are used to index into the PD

SELFOUR-556: Rationalize BITS vs INDEX_BITS

s/SMMU_PD_BITS/SMMU_PD_INDEX_BITS
Current convention is to say that X_BITS is the log base 2
size of an object, not the log base 2 number of indices

SELFOUR-551: Do setThreadState in perform functions

Move some instances of setThreadState from decode functions into
perform functions

SELFOUR-562: Update caps before calling perform

It is preferable for verification to update the information in a cap,
and pass the updated cap to the perform functions, than to pass all
the information and have the perform function update the cap

SELFOUR-559: Cleanup ARMPageUnmap for IO mappings

This commit moves setThreadState outside the 'perform' stage of the
invocation, and renames decodeARMIOUnmapInvocation to
performPageInvocationUnmapIO as it is actually doing a perform
and not a decode

SELFOUR-558: Consistently name Unmap instead of UnMap

SELFOUR-552: Translate IO-ASIDs->PDs by table

Previously looking up the page directory base for a SysteMMU was
done by writing the ASID into the hardware and reading out the
currently set page directory for that ASID. This is confusing for
verification so this commit introduces a global translation table
for converting an ASID to a page directory.

arm-hyp: Simplify return conditions

arm-hyp/tk1: address review comment

arm-hyp/tk1: add guards so other plats can compile.

arm-hyp/tk1: remove unnecessary check

arm-hyp/tk1: make style

arm-hyp/tk1: address review comments.

arm-hyp/tk1: address review comments.

arm-hyp/tk1: make style

arm-hyp/tk1: add default SMMU translation for VM

arm-hyp/tk1: fix bugs found during testing

arm-hyp/tk1: put iospace caps to bootinfo

arm/tk1: connect objects with SMMU invocations

arm/tk1: a checkpoint for iospace.c

arm/tk1: a checkpoint for SMMU implementation