Re: [LinuxBIOS] NMI debugging tool ?