[seL4] mcs kernel compatible with camkes project