Trivial: style fix

make the style checker happy

rumprun: include configs

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

seL4: Add way to register software event handlers

This makes it possible to register event handlers that will run attached
to a rumpkernel cpu context. This can be used to register event handlers
in custom rump kernel drivers that can receive notification messages
from other seL4 threads, not just hardware interrupts.

seL4: Remove interrupt routing logic

This is not used and is left over from the initial hw implementation

Construct badge directly as a word

`seL4_CapData_Badge_new` is deprecated and badges can just be constructed directly
as a word

seL4: get IOAPIC pci interrupt numbers from config

IOAPIC interrupt numbers are supposed to be parsed out of ACPI tables.
We delegate this to the seL4 roottask to do this and tell us the
interrupt numbers that certain PCI devices should use.

seL4: Enable msi interrupts

seL4: Add CAmkES support

seL4: Reduce error output boilerplate

seL4: Change to use simple implementation

seL4: Add better timer and device untyped handling

seL4: Add seL4 as a target rumprun platform