[seL4] Run cma34cr vm examples with qemu.

hi every body ...

I recently started working with sel4 vmm... I have some problem with running cma34cr_centos with qemu (when run this vm with qemu, some problem occur for example :"MSR(48FH).vmx-exit-load-perf-global-ctrl" ) so i have this question .. can I run cma34cr vms with qemu?