x86, mce: deprecate old 32bit machine check code