Rebuild gdb-arm-none-eabi once gdb-source >= 7.7.1 is available in kfreebsd-*
gdb-arm-none-eabi failed to build on kfreebsd-* because only an old version
of gdb-source is available there due to bug #752295. A rebuild of
gdb-arm-none-eabi should work as soon as a recent enough version of gdb
hits kfreebsd-*, hence my request for setting it back to dep-wait status.
See below for the request line:
dw gdb-arm-none-eabi_4 . kfreebsd-amd64 kfreebsd-i386 . -m gdb-source (>= 7.7.1)