[seL4] seL4 as bootloader

The Linux kernel has support via the EFISTUB module to be loaded directly as an EFI bootloader, which if I recall correctly, also allows it to chainload another OS and be used as a fully-fledged multiboot bootloader.

Is it practical to do something similar with seL4? Obviously on non-UEFI platforms it'd be entirely different code, but still.