diff --git a/kernel/x86_64/KERNEL b/kernel/x86_64/KERNEL
index 4a2e13bed..d75196974 100644
--- a/kernel/x86_64/KERNEL
+++ b/kernel/x86_64/KERNEL
@@ -259,8 +259,12 @@ SNRM2KERNEL = nrm2_sse.S
 endif
 
 ifndef DNRM2KERNEL
+ifeq ($(OSNAME),WINNT)
+DNRM2KERNEL = ../arm/nrm2.c
+else
 DNRM2KERNEL = nrm2.S
 endif
+endif
 
 ifndef QNRM2KERNEL
 QNRM2KERNEL = nrm2.S
@@ -271,8 +275,12 @@ CNRM2KERNEL = znrm2_sse.S
 endif
 
 ifndef ZNRM2KERNEL
+ifeq ($(OSNAME),WINNT)
+ZNRM2KERNEL = ../arm/znrm2.c
+else
 ZNRM2KERNEL = znrm2.S
 endif
+endif
 
 ifndef XNRM2KERNEL
 XNRM2KERNEL = znrm2.S