Re: [coreboot] [patch] Fintek F71872