(Technically "Windows XP Professional x64 Edition") is actually based on the Windows Server 2003 kernel. Because of this, it only went up to Service Pack 2