[coreboot] Re: [RFC] i945 problematic code for IGD device enable, BUG?