Microsoft is improving Windows 10 Device Manager to quickly load new drivers