[OpenBIOS] Mac OS X support