Windows 7 SP1 (and Windows Server 2008 R2 SP1) now available for public download