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>

trivial: formatting for style compliance

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

pragma once and for all

Fix all the whitespace

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

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

sel4sync: Comment explaining bin_sem value arg

sel4sync: Binary semaphore init'd with given value

SELFOUR-701 Condition variable implementation

SELFOUR-701 VKA managed versions of sem, bin_sem, mutex & recursive_mutex

libsel4sync: replaced aep with notification

The only non-local changes in this commit are renaming of fields of
sync_bin_sem_t and sync_recursive_mutex_t from aep to notification.
Nothing outside of this library should operate on those fields directly.

libsel4sync: Move the implementation of binary semaphores to headers.

This change allows the binary 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.