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