K 10 svn:author V 3 kib K 8 svn:date V 27 2016-11-08T09:51:55.029525Z K 7 svn:log V 120 MFC r307866: Handle broadcast NMIs. MFC r307880: Follow-up to r307866. MFC r308030: Use correct cpu id in the banner. END