increased debugger stack size

Armdebug stack size is now 768 bytes