Re: [coreboot] Trouble linking coreinfo payload