Windows Server 2008 build 5231.2

<!-- Windows Server 2008 build 5231.2 is a recompile of build 5231. Not much is different, although there is a x64 version of the build.