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