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