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