ARM: add KDEV_BASE for aarch32 and aarch64

KDEV_BASE is the first address that can be used for mapping devices.
This will be used by hardware_gen to auto-generate the kernel_devices
table.

include/arch/arm/arch/32/mode/hardware.h

@@ -31,6 +31,7 @@
 #else
 #define PPTR_TOP 0xfff00000
 #endif /* CONFIG_BENCHMARK_USE_KERNEL_LOG_BUFFER */
+#define KDEV_BASE 0xfff00000
 #define PADDR_TOP (PPTR_TOP - BASE_OFFSET)
 
 #include <plat/machine/hardware.h>

include/arch/arm/arch/64/mode/hardware.h

@@ -71,8 +71,10 @@
 
 #ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
 #define PPTR_TOP 0xffffc0000000lu
+#define KDEV_BASE 0xffffffff0000lu
 #else
 #define PPTR_TOP 0xffffffffc0000000
+#define KDEV_BASE 0xffffffffffff0000lu
 #endif
 
 #define PADDR_TOP (PPTR_TOP - BASE_OFFSET)