ppc4xx: Fix building of PMC440 board