1 CONFIG_PPC=y 2 CONFIG_MPC83xx=y 3 CONFIG_TARGET_TUXX1=y 4 CONFIG_SYS_EXTRA_OPTIONS="TUXX1" 5 CONFIG_SYS_NS16550=y 6