Re: after upgrading from W7 to W10, grub2 still thinks it's W7