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