[PATCH v7 0/4] arm: KGDB NMI/FIQ support