[Bug 678882] Strange Kernel NMI messages