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