[seL4] Network stack support