drivers/platform/Kconfig

if X86
source "drivers/platform/x86/Kconfig"
endif
if GOLDFISH
source "drivers/platform/goldfish/Kconfig"
endif
if ARCH_TEGRA
source "drivers/platform/tegra/Kconfig"
endif