edb3d07e2403 ("x86/mce: Mark mce_timed_out() noinstr")
2322b532ad90 ("x86/mce: Get rid of cpu_missing")
7bb39313cd62 ("x86/mce: Make mce_timed_out() identify holdout CPUs")