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