ngdbmi : Fix a bug in the interrupt code