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