MFC r307866: Handle broadcast NMIs.
MFC r307880: Follow-up to r307866.
MFC r308030: Use correct cpu id in the banner.