[PATCH 1/8] kernel/debug: Make use of KGDB_REASON_NMI