Index: sys/arm/conf/ARMADA38X
===================================================================
--- sys/arm/conf/ARMADA38X
+++ sys/arm/conf/ARMADA38X
@@ -48,6 +48,9 @@
 # PCI
 device		pci
 
+# RTC
+device		mv_rtc
+
 # Interrupt controllers
 device		gic
 options 	INTRNG
Index: sys/arm/mv/armada38x/armada38x_rtc.c
===================================================================
--- sys/arm/mv/armada38x/armada38x_rtc.c
+++ sys/arm/mv/armada38x/armada38x_rtc.c
@@ -128,7 +128,7 @@
 
 static devclass_t mv_rtc_devclass;
 
-DRIVER_MODULE(mv_rtc, simplebus, mv_rtc_driver, mv_rtc_devclass, 0, 0);
+DRIVER_MODULE(a38x_rtc, simplebus, mv_rtc_driver, mv_rtc_devclass, 0, 0);
 
 static void
 mv_rtc_reset(device_t dev)
Index: sys/arm/mv/armada38x/files.armada38x
===================================================================
--- sys/arm/mv/armada38x/files.armada38x
+++ sys/arm/mv/armada38x/files.armada38x
@@ -7,6 +7,6 @@
 arm/mv/armada38x/armada38x.c	standard
 arm/mv/armada38x/armada38x_mp.c	optional smp
 arm/mv/armada38x/pmsu.c		standard
-arm/mv/armada38x/rtc.c		standard
+arm/mv/armada38x/armada38x_rtc.c	optional mv_rtc fdt
 arm/mv/armada38x/armada38x_pl310.c	optional pl310
 dev/sdhci/sdhci_fdt.c		optional sdhci