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: sel4test-tests: style fixes

Fix style for preempt.c

sel4test-tests: make PREEMPT_REVOKE more robust

The test expects that the revoke operation will be preempted at least
twice. The old timeout value of half the expected time means that the
second preemption is likely to be missed in some conditions.

Using a timeout of a third the expected time, at least two preemptions
will occur as expected.

Also do not attempt to copy CNodes if the CNode table could not be
allocated.

Fix PREEMPT_REVOKE: Set timeout value to half of the revoke operation time

Increase preempt revoke cap limit

Required for the hikey

SELFOUR-1056/sel4test: Add backend support for timer server and wait for tests

SELFOUR-1056/sel4test: move timer interrupt tests for sel4test-test to sel4test-driver

* Add time-related helper files.
* Move code in sel4test/tests/interrupts to sel4test-driver/src/tests/timer.c
* Add a new function to do sel4test-driver tests before sel4test-test tests

Revert back last commit as it breaks sel4test on x86

preempt test: increase timeout period interval to allow other threads to run

SELFOUR-1130 Refactor tests to use new DEFINE_TEST

These changes turn tests on and off with the new `enabled` argument in
DEFINE_TEST instead of using #ifdefs.

SELFOUR-1083 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST

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.

PREEMPT_REVOKE: wait for first timer irq

Use ltimer interface in sel4test

- remove all plat specific timer code
- new timers don't need any code added to sel4test!
- also remove plat_copy_serial caps as it is empty for all cases

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

Avoid shadowing variables.

This change has no effect on functionality, but helps poor users such as myself
who switch on -Wshadow, only to be buffeted with spurious warnings.

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.

sel4test-tests: use ZF_LOGD instead of printf and D

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

Release snapshot