# CONFIG_TEGRA_HSP_MBOX is not set