[seL4] Resolving issue using camkes-vm with qemu