[Linaro-TCWG-CI] gdb patch #133251: improvements on aarch64