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