> So, in any case we may not be able to disable machine-check exceptions > (MCEs) only within the context of kexec'ed kernel. Let me know if I've > missed something here. Linux sets the CR4.MCE bit - look for "set_in_cr4(X86_CR4_MCE)" for places where it does so. You can ask it not to do that with "mce=off" argument. So we can control this from the OS level. -Tony