Yeah I'd check the benchmark numbers just to be sure there's not something major wrong (it'll be obvious if there is). If there isn't, then just use the computer like normal for a few days, could be windows just needs to build up the superfetch profiles again.