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