[coreboot] Re: i440BX regression