Re: [OpenBIOS] [RFC] libopenbios: Adapt CIF handling for ppc64