Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision da349da00e6a694ae8529efd7efc34b7534e322f)
+++ kernel/arch/arm32/Makefile.inc	(revision ddb0df58c37d07e66431a6471044949a96ecaf7d)
@@ -30,9 +30,13 @@
 #
 
+ifndef CROSS_PREFIX
+	CROSS_PREFIX = /usr/local
+endif
+
 BFD_NAME = elf32-littlearm
 BFD_ARCH = arm
 BFD = binary
 TARGET = arm-linux-gnu
-TOOLCHAIN_DIR = /usr/local/arm
+TOOLCHAIN_DIR = $(CROSS_PREFIX)/arm
 
 KERNEL_LOAD_ADDRESS = 0x80200000