Work around to avoid GDB internal error which assert on frame_size.
Solve a bug at low level exception handling, sp was restored with
the wrong value.