CONFIG_PPC=y
CONFIG_MPC824X=y
CONFIG_TARGET_A3000=y