[seL4] Support for QNX-like booting from an XIP filesystem image