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