diff --git a/src/stub/src/armel-linux.kernel.vmlinuz-head.S b/src/stub/src/armel-linux.kernel.vmlinuz-head.S
new file mode 100644
index 00000000..7ca08703
--- /dev/null
+++ b/src/stub/src/armel-linux.kernel.vmlinuz-head.S
@@ -0,0 +1,4 @@
+/* header for armel-linux.kernel.vmlinuz-head.S
+ * is same as   arm-linux.kernel.vmlinux-head.S
+ */
+#include "arm-linux.kernel.vmlinux-head.S"
diff --git a/src/stub/src/armel-linux.kernel.vmlinuz.S b/src/stub/src/armel-linux.kernel.vmlinuz.S
new file mode 100644
index 00000000..aa3514df
--- /dev/null
+++ b/src/stub/src/armel-linux.kernel.vmlinuz.S
@@ -0,0 +1,6 @@
+/* source for armel-linux.kernel.vmlinuz.S
+ * is same as   arm-linux.kernel.vmlinux.S
+ * and has been factored out in p_vmlinz.cpp by using:
+ *    #include "stub/arm-linux.kernel.vmlinux.h"
+ */
+#include "arm-linux.kernel.vmlinux.S"