debug: add helper functions for cap type checking

This reduces the usage of magic values to one file only.

Signed-off-by: Axel Heider <axelheider@gmx.de>

mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

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

sem-bare.h: Use seL4_WaitWithMRs syscall for mcs

This syscall doesn't need a reply cap to be set on mcs and can work
without an IPC buffer setup.

Ensure that semaphores do not rely on IPC buffers

So that semaphores can be used before TLS is initialised, they must not
use Send or Wait as these cause values to be read to and written from
the IPC buffer.

No functional change, just added an UNUSED modifier to the ep argument of the sync_sem_bare_trywait as it is not used (and the compiler report warnings about unused parameter)

pragma once and for all

libsel4sync: Move OS agnostic to platsupport

Fix licenses

Use CONFIG_DEBUG_BUILD instead of SEL4_DEBUG_KERNEL

SEL4_DEBUG_KERNEL is a historic define from before CONFIG_DEBUG_BUILD existed
and is considered deprecated. With using a CONFIG_ variable this commit also
adds #include <autoconf.h> where neccessary

libsel4sync: Move the implementation of bare semaphores to headers.

This change allows the bare semaphore operations to be inlined into calling
code. The effect of this commit has not been quantified, but the result for any
calling code should be increased or unaffected performance. Semantics of the
operations is unchanged.