CONFIG_SYS_EXTRA_OPTIONS="IVMS8_32M" CONFIG_PPC=y CONFIG_8xx=y CONFIG_TARGET_IVMS8=y