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