[seL4] Question about MCS branch