[seL4] Questions about Vchan