ppc44x: fix build of crypto4xx_core.c