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