[PATCH 01/11] kernel/debug: Make use of KGDB_REASON_NMI