Empowering WebAssembly with Thin Kernel Interfaces