Re: [coreboot] debugging symbols for final ROM image