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