Re: [coreboot] Trouble compiling tint payload