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