Dual booting Windows 10 is useful, but can leave redundant boot options in the dual boot menu. Here's how to remove them.