[ros-diffs] [peterw] 30973: - Bump GDB to v6.7.5.20071127 and remove the TinyKRNL link as the site seems to be down now.