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