Fix wrong stack pointer allocation in gdb script