Index: kernel/arch/arm32/src/mach/gta02/gta02.c
===================================================================
--- kernel/arch/arm32/src/mach/gta02/gta02.c	(revision 43dd8028069d3f1680a1f7a3f3ad25488e4fe07f)
+++ kernel/arch/arm32/src/mach/gta02/gta02.c	(revision d18ad6103e1a409e3a8a0703b5864b7ddc51f57a)
@@ -41,7 +41,7 @@
 #include <genarch/fb/fb.h>
 #include <abi/fb/visuals.h>
-#include <genarch/drivers/s3c24xx_uart/s3c24xx_uart.h>
-#include <genarch/drivers/s3c24xx_irqc/s3c24xx_irqc.h>
-#include <genarch/drivers/s3c24xx_timer/s3c24xx_timer.h>
+#include <genarch/drivers/s3c24xx/uart.h>
+#include <genarch/drivers/s3c24xx/irqc.h>
+#include <genarch/drivers/s3c24xx/timer.h>
 #include <genarch/srln/srln.h>
 #include <sysinfo/sysinfo.h>