Re: [coreboot] [PATCH] [5/7] Roda RK886EX support: Texas Instruments PCI7420