headers_check fix: x86, mce.h