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