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