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