Windows 10 startup times could get cut with this new feature