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

mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

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

Trivial: style fix

make the style checker happy

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

SELFOUR-894 run config-controlled tests with DEFINE_TEST_MAYBE

MCS: tests for sc<->ntfn binding

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

Add env argument to helper_set_priority, mcp

- it will be needed in future when SELFOUR-1016 is merged
- merge it now to avoid the conflicts inherent on a long running branch

Fix licenses

Port most tests to be compatible with x64

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.

bandaid to get sel4test to output the correct number of tests passing

s/AEP/Notification etc

update for API changes: AEP -> Notification etc

aep-binding: removed requirement for config option

Release snapshot