[PATCH 2/8] kernel/debug: Mask KGDB NMI upon entry