[seL4] Compile problems about camkes-vm project