Re: [coreboot] Coreboot image and seabios payload with debug symbols