kernel_variant.xml: CONFIG_DYNAMIC_DEBUG=y CONFIG_PRINTK_TIME=y CONFIG_LOG_BUF_SHIFT=18 CONFIG_KALLSYMS=y