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