mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

This is to be consistent with the name defined in the kernel.

libsel4utils: Update 'new_irq_ops' in IRQ server

This commit updates the call to 'new_irq_ops' in the IRQ server to match
the new function prototype.

trivial: Update IRQ server licenses

libsel4utils: Refactor IRQ server sources

This commit refactors the existing functions in the IRQ server sources
to use the dynamic IRQ interface in libsel4platsupport.

libsel4utils: Remove unneeded code in IRQ server

This code is no longer necessary as all the IRQ and notification pairing
is delegated to the IRQ interface in libsel4platsupport.

libsel4utils: Refactor IRQ server private structs

This commit updates the private IRQ server structs. The key point is
that most of the changes are done to accommodate the new dynamic IRQ
interface.

libsel4utils: Add headers for IRQ server sources

These new headers are necessary for the refactoring of the IRQ server.

sel4utils: Use seL4_Word as badge type

Also use CTZL to handle both 32-bit or 64-bit badge.

Changes for removal of seL4_CapData_t type in libsel4

This updates seL4_libs to not use what are now deprecated functions and types by using
the new API wrappers

sel4utils: abstract over MCS vs master kernel API

- add api.h, which is intended to be used as a wrapper for functions
that are equivalent on MCS/master kernels, so we can seemlessly switch
between the two. This makes porting efforts easier, and without a
nasty proliferation of #ifdefs.
- use it everywhere relevant.

Support reply objects in seL4_libs

Only if CONFIG_KERNEL_RT is enabled will they work, but most of
the code is compiled in order to make maintenance easier.

sel4utils: minor clean up in irq_server.c

- use calloc instead of malloc/memset
- remove unneccessary casts
- replace custom debug macros with ZF_LOGD

Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files

sel4utils: refactor process and thread config interface

- add builder patterns for thread and process configs which reduces api
breakage when new features are added
- replace all usages of configs with builders
- don't set priorities in default functions (threads will be set to 0)
- set MCP in threads and processes when specified

Fix licenses

Remove #ifdef guards for the existance of different libraries

These libraries are now all part of this same repository, and so they will always exist.
Guarding for them adds unnecessary complexity

SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler

libsel4utils: Use UNUSED in one place.

libsel4utils: Fix a format string.

libsel4utils: Fix some format strings.

libsel4utils: Minor type and printing changes for 64bit compatibility

all: s/LOG_*/ZF_LOG*

update for s/Wait/Recv

libsel4utils: fix typos.