[OpenBIOS] r500 - cpu/x86/pc/olpc ofw/core