[PATCH 03/14] kernel/debug: Mask KGDB NMI upon entry