gdb: x86: fix x32 builds with inline asm