diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 9790c5d..25a6b53 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -931,9 +931,10 @@
 
 config ARCH_VIRT
 	bool "Dummy Virtual Machine" if ARCH_MULTI_V7
+	select ARM_AMBA
 	select ARM_GIC
-	select HAVE_ARM_ARCH_TIMER
 	select ARM_PSCI
+	select HAVE_ARM_ARCH_TIMER
 
 #
 # This is sorted alphabetically by mach-* pathname.  However, plat-*