CONFIG_PLATFORM_LINUX=n
CONFIG_INIT_TERMINAL_TYPE="cons25"
CONFIG_BLOCKDEV=n
