# CONFIG_STANDALONE is not set
