Index: arch/ia32/boot/Makefile
===================================================================
--- arch/ia32/boot/Makefile	(revision 849ba5cb5ef4a54b549d2ea7b31a150dc6822678)
+++ arch/ia32/boot/Makefile	(revision 6bc4dbd6d4af05219158da97d48e6440649362af)
@@ -7,9 +7,9 @@
 
 boot.bin: boot.o
-	ld -T boot.ld -entry _start_0x7c00 --oformat binary boot.o -o $@
+	$(LD) -T boot.ld -entry _start_0x7c00 --oformat binary boot.o -o $@
 
 boot.o: boot.S
-	gcc -E -DKERNEL_SIZE=$(KERNEL_SIZE) boot.S > boot.s
-	as boot.s -o $@
+	$(CC) -E -DKERNEL_SIZE=$(KERNEL_SIZE) boot.S > boot.s
+	$(AS) boot.s -o $@
 	rm boot.s
 
