[PATCH 02/11] kernel/debug: Mask KGDB NMI upon entry