See http://sourceware.org/bugzilla/show_bug.cgi?id=14523
---
---- gdb-7.5.org/gdb/common/signals.c 2012-05-24 18:51:37.000000000 +0200
-+++ gdb-7.5.org/gdb/common/signals.c 2012-08-29 22:32:07.000000000 +0200
-@@ -346,6 +346,11 @@
+--- a/gdb/common/signals.c
++++ b/gdb/common/signals.c
+@@ -344,6 +344,11 @@ gdb_signal_from_host (int hostsig)
else if (64 <= hostsig && hostsig <= 127)
return (enum gdb_signal)
(hostsig - 64 + (int) GDB_SIGNAL_REALTIME_64);