gdb: disassembler opcode display formatting