[seL4] Multiboot and extra modules