update WSL2 kernel