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