[PATCH v9 00/16] arm: KGDB NMI/FIQ support