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