[OpenBIOS] r777 - cpu/x86