[fedora-arm] Understanding gdb disassembly output