Trivial: style fix

make the style checker happy

fix various including problem

1: replace quote includes with bracket includes
2: add missing kernel autoconf
3: remove one unused include

sel4runtime: include configs

since global autoconf is removed, we need to manually add
back the kernel config and sel4runtime_Config

Update licence dates.

Make thread methods publically available.

Make access to thread ID registers publically inlineable.

Add function to set tls_base of current thread.

Clarify use of registers in ARMv6

The function to write to tpidr_el0 should not exist for ARMv6.

Refer to public version of thread_arch.h

Use new TLS base function.

Clarify the ARMv6 requirements.

Remove additional endif.

Make set_tls_base always succeed.

sel4runtime_tls_base -> sel4runtime_get_tls_base

Fix sel4runtime rename in aarch32

Update with changed register use for thread ID.

The read/write registers for thread ID is now used for TLS.

Fallback on register if no globals frame.

Licenses.

Add thread-pointer access from ARMv6.

The thread pointer is accessed via the aeabi specified `__aeabi_read_tp`
function. In the case of ARMv6, the value needs to be read from the
TLS_BASE stored in the `seL4_GlobalsFrame`.