Re: [coreboot] buildrom: Add TINT to buildrom