odroid_xu: prevent tests with sd/platform/ahci/fb

Drivers like SD-Card, platform, AHCI, and framebuffer are specified as Exynos5
compliant. But they are at least not compliant with Odroid-XU although this is
Exynos5. Thus, prevent tests that rely on such drivers when building for
hw_odoid_xu. Furthermore, make previous Arndale regulator/consts.h,
uart_defs.h, and some Board_base enums available to all Exynos5 builds to
enable at least building the drivers.

Fixes #1419

repos/base/include/platform/arndale/drivers/board_base.h

@@ -38,15 +38,6 @@ namespace Genode
 			USB_HOST20_IRQ = 103,
 			USB_DRD30_IRQ  = 104,
 
-			/* SATA/AHCI */
-			SATA_IRQ = 147,
-
-			/* I2C */
-			I2C_HDMI_IRQ = 96,
-
-			/* SD card */
-			SDMMC0_IRQ = 107,
-
 			/* UART */
 			UART_2_CLOCK = 100000000,
 

repos/base/include/platform_exynos5/board_base.h

@@ -71,6 +71,15 @@ class Genode::Exynos5
 
 			/* hardware name of the primary processor */
 			PRIMARY_MPIDR_AFF_0 = 0,
+
+			/* SATA/AHCI */
+			SATA_IRQ = 147,
+
+			/* SD card */
+			SDMMC0_IRQ = 107,
+
+			/* I2C */
+			I2C_HDMI_IRQ = 96,
 		};
 };