Make MULTIDELAY a requirement in the MPCore Timer driver when using

PLATFORM. This will help with removing the MULTIDELAY option, enabling
it when PLATFORM is enabled.

sys/arm/arm/mpcore_timer.c

@@ -71,6 +71,10 @@ __FBSDID("$FreeBSD$");
 
 #include <arm/arm/mpcore_timervar.h>
 
+#if defined(PLATFORM) && !defined(MULTIDELAY)
+#error The MPCore Timer driver requires MULTIDELAY when building with PLATFORM
+#endif
+
 /* Private (per-CPU) timer register map */
 #define PRV_TIMER_LOAD                 0x0000
 #define PRV_TIMER_COUNT                0x0004

sys/arm/conf/PANDABOARD

@@ -34,6 +34,7 @@ makeoptions	MODULES_EXTRA=dtb/omap4
 
 options 	SCHED_ULE		# ULE scheduler
 options 	PLATFORM
+options 	MULTIDELAY
 options 	SMP			# Enable multiple cores
 
 # NFS root from boopt/dhcp

sys/arm/conf/VYBRID

@@ -26,6 +26,7 @@ makeoptions	WERROR="-Werror"
 
 options 	SCHED_4BSD		# 4BSD scheduler
 options 	PLATFORM		# Platform based SoC
+options 	MULTIDELAY
 #options 	NANDFS			# NAND Filesystem
 #options 	SMP			# Enable multiple cores
 

sys/arm/conf/ZEDBOARD

@@ -28,6 +28,7 @@ makeoptions	MODULES_EXTRA="dtb/zynq"
 
 options 	SCHED_ULE		# ULE scheduler
 options 	PLATFORM		# Platform based SoC
+options 	MULTIDELAY
 #options 	NFSSD			# Network Filesystem Server
 options 	SMP			# Enable multiple cores