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'

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

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

sel4test-tests: set_helper_affinity for MCS

- add env argument to set_helper_affinity
- if CONFIG_KERNEL_RT is set, as seL4_TCB_SetAffinity no longer exists,
migrate the thread by reconfiguring its scheduling context for that
core.

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

Enable FPU tests for aarch64

aarch64: update related tests

smp: some tests for multicore
This will update the env to include number of available cores
- Test suspending and resuming a thread on diffrent core
- Test thread is runnable on all available cores
- Test core stalling is behaving properly
- Test TLB invalidated cross cores
- Test FPU remain valid across core migration

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

Release snapshot