Microsoft: WSL2's Linux kernel will be delivered to Windows 10 users via Windows Update