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