gdb: Add a comment about bug 14963