Hello,

# TCWG Infrastructure

- Investigated why the CI didn't recover from empty gdb.sum, since it was supposed to. - Fixing validate_failures.py and tcwg_gnu-build.sh to correctly handle empty gdb.sum. - Fixing GDB armhf CI jobs to find distro's debug info.

# CI Babysitting

- Verified that a couple of regressions I reported last week were fixed in trunk.