[seL4] camkes-vm-examples-manifest cma34cr_centos fails