Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 9182e86f8fac41203c8da4e3158cbf2b160dc738)
+++ boot/arch/arm32/Makefile.inc	(revision 1cf26abf038d0db4ca5f4e0a43ca1b41d655b01e)
@@ -74,5 +74,5 @@
 	RD_DRVS_ESSENTIAL += \
 		char/pl050 \
-		char/xtkbd \
+		char/atkbd \
 		char/ps2mouse \
 		platform/icp