[OpenBIOS] r538 - in trunk/openbios-devel: drivers include/ppc