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