Build Windows 64bit judge kernel.