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