[OpenBIOS] r725 - cpu/x86/pc/olpc