[OpenBIOS] r471 - in cpu: i8051 ppc/Linux