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