Merge #173844: gdb: fix formatting for 32-bit systems
...into staging-next
Vladimír Čunát 3 years ago a7623881 084f3d75