Convert CONFIG_SYS_PCI_64BIT to Kconfig

This converts the following to Kconfig:
   CONFIG_SYS_PCI_64BIT

Signed-off-by: Tom Rini <trini@konsulko.com>
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 85c964b..26c96ed 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -1909,6 +1909,7 @@
 	select OF_LIVE
 	select BOARD_LATE_INIT
 	select SYS_CACHE_SHIFT_7
+	select SYS_PCI_64BIT if PCI
 	imply OF_HAS_PRIOR_STAGE
 
 config ARCH_OCTEONTX2
@@ -1921,6 +1922,7 @@
 	select OF_LIVE
 	select BOARD_LATE_INIT
 	select SYS_CACHE_SHIFT_7
+	select SYS_PCI_64BIT if PCI
 	imply OF_HAS_PRIOR_STAGE
 
 config TARGET_THUNDERX_88XX