3 ms·

Had the same thing going the other way: rebooting from Linux caused Windows 10 to bluescreen during boot.