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