enabled 64-bit machine check