Kernel-update voor Linux maakt Windows Insiders blij