manual: Update padding field in UntypedDesc

Signed-off-by: Jimmy Brush <code@jimmah.com>

manual: Update BootInfo struct table

- Show fields in same order as struct
- Fix name of schedcontrol field
- Fix nodeID field type

Signed-off-by: Jimmy Brush <code@jimmah.com>

manual: Correct typo

Signed-off-by: Jimmy Brush <code@jimmah.com>

manual: Fix initial thread's CNode guard size

The initial thread's CNode guard size is calculated so that the CNode
resolves the number of bits in the architecture word size.

Signed-off-by: Jimmy Brush <code@jimmah.com>

Convert license tags to SPDX identifiers

This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.

mcs: update manual

Major manual update with details of the MCS configuration option of the
kernel.

manual: remove hardcoded bootinfo register

The manual doesn't need to state the register, and it's already missing aarch64.

manual: Correct underscore

manual: clarify that extraLen is in bytes

Fix note about numIOPTLevels

manual: document bootinfo register

libsel4: Deprecate bootinfo management

Extend bootinfo to support potentially arbitrary additional structures

This provides a future proof interface for extending the bootinfo region with additional
kinds of optional architecture and platform specific information. The basic idea is to
report the size of a region directly following the bootinfo frame, which is made up of
a series of 'chunks'. Each chunk has an identifier (describing what it is) and a length,
allowing unknown chunks to be skipped in favor of examining the remaining of the chunks.

manual: Brief description of ARM ioSpaceCaps

manual: Correct description of bootinfo untyped regions

manual: Remove defunct description of 4K untypeds

manual: Remove constant initial capability values

manual: Make bootinfo description match actual layout

The 'untyped' region has been moved in the C seL4_BootInfo struct, this
changes the manual to match

manual: make initial caps list reflect current code

SELFOUR-421 Introduce explicit device frames and untypeds

Kernel objects cannot be created from device untypeds, with the
exception of frames, which do not get zeroed and cannot be used
as an IPC buffer. Device untypeds additionally cannot be used
in the construction of ASID pools.

This then changes the API to the rootserver (i.e. bootinfo) to
send device untypeds instead of device frames. On ARM these
device untypeds are the same as the previously exported device
frame regions. On x86 PCI scanning is removed and all physical
memory addresses (that are not important for kernel integrity)
are released to the user.

In order to have bits in the frame and untyped caps on ARM the
number of software ASIDs had to be reduced from 2^18 to 2^17,
and the maximum untyped size reduced from 2^31 to 2^30

manual: Expand vm explanation in boot chapter

Updated bootinfo doc for userImagePaging field

Use constant to specify first dynamic cptr in doc

manual: Purely cosmetic changes / improved wording

manual: Fix missing init thread domain in boot info.

manual: Fix spelling of init domain cap slot constant.

Release snapshot