Re: [coreboot] coreboot support for socket 775 mainboards