[PATCH 15/23] kernelbase: Add support for PPC64