x86: Remove final bits of CONFIG_X86_OLD_MCE