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