K 10 svn:author V 4 fsmp K 8 svn:date V 27 1997-12-08T18:36:02.000000Z K 7 svn:log V 123 Removed the annoying "apic_ipi might be stuck" message. Added commentary about the real problem and what needs to be done. END