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