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