[seL4] Some questions about group of camkes