Re: [PATCH] powerpc/85xx: fix oops when CONFIG_FSL_PMC=n