I had installed windows service pack 1 for my computer. Then I restarted it, so it would configure the update?