Re: [OpenBIOS] patch: machine dependent config