[seL4] try to add vm in zynqmp, but when run rootserve crash.