[coreboot] Re: Listing an address with gdb