[OpenBIOS] patch: machine dependent config