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