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