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