Re: [OpenBIOS] [RFC 2/3] ppc64: Switch to 64-bit cell size