[RFC v3 0/9] kgdb: NMI/FIQ support for ARM