Re: [coreboot] [RFH] Testing Linux 3.12+ on Intel hardware to initialize the IGD