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