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