[gdbinit] Disambiguate the disassembly flavor setting.