x86, mce: move mce_disabled option into common 32bit/64bit code