CONFIG_TARGET_mpc85xx=y
CONFIG_TARGET_mpc85xx_p1020=y
CONFIG_TARGET_mpc85xx_p1020_DEVICE_extreme-networks_ws-ap3825i=y