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