[LinuxBIOS] NMI debugging tool ?