# CONFIG_TEGRA_BPMP is not set