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