Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/arm32/Makefile.inc	(revision ff211d250373e7bc4e7c6a89838a8a7a4dea9e8f)
@@ -34,5 +34,5 @@
 BFD = binary
 TARGET = arm-linux-gnu
-TOOLCHAIN_DIR = $(CROSS_PREFIX)/arm
+TOOLCHAIN_DIR = $(CROSS_PREFIX)/arm32
 
 ATSIGN = %