CONFIG_SYS_EXTRA_OPTIONS="IVML24_32M" CONFIG_PPC=y CONFIG_8xx=y CONFIG_TARGET_IVML24=y