Re: [coreboot] [patch] generate debug symbols