fixing windbg for server skus