Downloading kernel on Windows 10 at production