Clean up cpu_inject_x86_mce()