[PATCH resend 0/4] ARM: KDB FIQ debugger