[seL4] Run cma34cr vm examples with qemu.