[PATCH v11 00/19] arm: KGDB NMI/FIQ support