diff --git a/kernel/x86/KERNEL b/kernel/x86/KERNEL
index 3ae268e6c..0be5ef5c5 100644
--- a/kernel/x86/KERNEL
+++ b/kernel/x86/KERNEL
@@ -203,3 +203,5 @@ endif
 
 CSCALKERNEL = ../arm/zscal.c
 ZSCALKERNEL = ../arm/zscal.c
+CDOTKERNEL = ../arm/zdot.c
+ZDOTKERNEL = ../arm/zdot.c