cpu-tegra: fix compiling without BEST_TRADE_HOTPLUG enabled