CONFIG_CONSOLE=y
CONFIG_STDOUT_CONSOLE=y
CONFIG_IPI_CONSOLE_RECEIVER=y
CONFIG_IPI_CONSOLE_SENDER=y
CONFIG_IRQ_OFFLOAD=y