x86, mce: cleanup mce_start()