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