[ppc4xx]: add additional config symbols