Re: [coreboot] SeaBIOS and Windows 7