[Fwd: Re: [OpenBIOS] patch: machine dependent config]