replace kernel_autoconf with sel4_autoconf

since the mainline kernel's kernel_autoconf doesn't include
seL4/gen_config.h but sel4_autoconf does

camkes-tool: explicitly include gen_config.h

explicitly include gen_config.h since there is going to be
no more global configuration lib

trivial: style changed files in libsel4camkes

The style checker was only run over the files that were changed in the
refactoring of CAmkES connector template functionality into
libsel4camkes.

libsel4camkes: Update CMakeLists for new headers

This commit adds new rule to the CMakeLists file to include the new
architectural headers.

libsel4camkes: Add riscv entry and fault code

This is needed for running standard camkes components on RISCV targets.

cmake: Move config definitions to correct location

Define ones that are passed to the camkes tool in camkes.cmake and
define the ones that are used in autoconf.h in libsel4camkes. This is to
reduce the chances of the camkes tool handling a config option
differently from the code if it is present as both a cmdline option and
as an autoconfig.h variable.

libsel4camkes: use register dump from libsel4debug

libsel4camkes: use aarch32 src on arm_hyp

virtqueue: Renamed buffqueue to virtqueue

Updated the buffqueue source to reflect the change of name. The
library API now uses the name 'virtqueue'.

sel4camkes: libbuffqueue in target_link_libraries

Updated the CMakeLists to include libbuffqueue as a
target link library.

sel4camkes: Add ps_mutex_ops that uses camkes_pool

CMake build support for CAmkES

This defines initial support for building CAmkES based systems using cmake through
defining both a new cmake build template as well as general cmake build wrappers.

Much like the original make based build system there is some gymnastics required to
have a generated file (that you could say is part of the build process) contain build
rules and be included as a script for the build. For cmake this involves

The different parts of thsi implementation largely mirror the original implementation.
* camkes-gen.cmake contains most of the same rules and directly copy/pasted jinja template
logic from the Makefile template
* camkes.cmake contains all the configurations from the old Kconfig and wrappers for
invoking the camkes system to generate the included build file
* camkes-top-level.cmake is the equivalent of toplevel.mk and is an example build file that
can be symlinked to a projects root directory
As CMake is designed to be more programatic than Make The camkes.cmake also defines some
helpers to aid common case component/system specification

The build generation is not completely finished the missing pieces being
* Theory generation
* rump component support