Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision 328cc3135d655fb0dbd9ff14e23012c679626374)
+++ kernel/arch/ia32/Makefile.inc	(revision 7f25c4e9da012f7d3387d095172d979087ec8173)
@@ -31,4 +31,5 @@
 BFD = binary
 CLANG_ARCH = i386
+CLANG_TARGET = i386-unknown-linux
 
 BITS = 32