[coreboot] debugging symbols for final ROM image