# CONFIG_XEN_MCE_LOG is not set