[PATCH] arm: kgdb: fix NUMREGBYTES so that gdb_regs[] is the correct size