x86, mce: implement the PPro bank 0 quirk in the 64bit machine check code