asserts on seL4_Errors now use test_error_eq

changed test_asserts that check seL4_Errors
to use test_error_eq to output errors in failed cases
that would otherwise be suppressed in a
KernelInvocationReportErrorIPC build config

sel4test: explicitly link sel4_autoconf

since the global conf lib is going be removed, we need to explicitly
linke each project with sel4_autoconf and other config libs
this commit also removed a bunch of unused includes as well as
HAVE_AUTOCONF ifdef checking.

Trivial: style fix

make the style checker happy

sel4test: remove autoconf.h from sel4test

this commit removes autoconf.h generation from sel4test and
append '#include <sel4test/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'

ioports.c: use api_tcb_set_space over configure

configure is excessive for changing the fault endpoint, and this failed
on the mcs kernel as it attempts to rebind the scheduling context.

SELFOUR-1016: Update for TCB api change

Changes for removal of seL4_CapData_t type in libsel4

This updates sel4test to not use what are now deprecated functions and types by following
the upgrade notes in the kernel CHANGES file.

SELFOUR-1083 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST

trivial: Fix error type

Passes test on x64

tests: correct usage of macros

s/test_assert_fatal/test_assert: none of these tests should require the
test suite to abort in their current state as they are running in a
different process.

Fix cases where test_assert would return a value from a void function as
appropriate.

MCS: use api_* wrappers for recv operations

- on the MCS kernel, recv operations that will use call / replyrecv
semantics require a reply object, provide the reply object when needed
if CONFIG_KERNEL_RT is enabled. If not, it will always be seL4_CapNull
and is not used.
- use the api_recv etc wrappers from sel4utils/api.h

MCS: use tcb wrappers from sel4tutils/api.h

- replace calls of seL4_TCB_SetSpace with api_tcb_set_space
- replace calls of seL4_TCB_Configure with api_tcb_configure
- update some calls from seL4_TCB_Configure to api_tcb_set_space as a
full TCB configure is not required in that specific case

Fix config guard on ioports test and unbitrot

Provide and use wrappers for getting helper thread information

Reaching directly into the helper thread struct makes it difficult to change how helper threads
work without breaking lots of code.

Fix whitespace

- remove trailing whitespace
- remove double blank lines
- remove blank lines at end of file

Fix licenses

SELFOUR-114: use new fault API

Extend ioports test to work on 64bit as well

update for s/Wait/Recv

Remove 'args' parameter to test cases.

This commit removes the state parameter to test cases, which was unused in all
tests. In three years, no test has required this parameter. I think it's time
to ditch this dead weight. It can be reintroduced if necessary later.

Note that this change is interdependent with changes to libsel4test.

Add a regresion test that ensures user space cannot directly use IO ports