diff --git a/src/p_vmlinx.cpp b/src/p_vmlinx.cpp
index bfe6345a..ce471e43 100644
--- a/src/p_vmlinx.cpp
+++ b/src/p_vmlinx.cpp
@@ -45,7 +45,7 @@ static const
 static const
 #include "stub/arm-linux.kernel.vmlinux.h"
 static const
-#include "stub/armeb-linux.kernel.vmlinux.h"
+#include "stub/armeb.v5a-linux.kernel.vmlinux.h"
 static const
 #include "stub/powerpc-linux.kernel.vmlinux.h"
 
@@ -873,7 +873,7 @@ void PackVmlinuxARMEL::buildLoader(const Filter *ft)
 void PackVmlinuxARMEB::buildLoader(const Filter *ft)
 {
     // prepare loader
-    initLoader(stub_armeb_linux_kernel_vmlinux, sizeof(stub_armeb_linux_kernel_vmlinux));
+    initLoader(stub_armeb_v5a_linux_kernel_vmlinux, sizeof(stub_armeb_v5a_linux_kernel_vmlinux));
     addLoader("LINUX000", NULL);
     if (ft->id) {
         assert(ft->calls > 0);
@@ -952,7 +952,7 @@ static const
 static const
 #include "stub/arm-linux.kernel.vmlinux-head.h"
 static const
-#include "stub/armeb-linux.kernel.vmlinux-head.h"
+#include "stub/armeb.v5a-linux.kernel.vmlinux-head.h"
 static const
 #include "stub/powerpc-linux.kernel.vmlinux-head.h"
 
@@ -1065,20 +1065,20 @@ unsigned PackVmlinuxARMEB::write_vmlinux_head(
 )
 {
     // First word from vmlinux-head.S
-    fo->write(&stub_armeb_linux_kernel_vmlinux_head[0], 4);
+    fo->write(&stub_armeb_v5a_linux_kernel_vmlinux_head[0], 4);
 
     // Second word
     TE32 tmp_u32;
     unsigned const t = (0xff000000 &
-            BeLePolicy::get32(&stub_armeb_linux_kernel_vmlinux_head[4]))
+            BeLePolicy::get32(&stub_armeb_v5a_linux_kernel_vmlinux_head[4]))
         | (0x00ffffff & (0u - 1 + ((3+ ph.c_len)>>2)));
     tmp_u32 = t;
     fo->write(&tmp_u32, 4);
 
     stxt->sh_addralign = 4;
-    stxt->sh_size += sizeof(stub_armeb_linux_kernel_vmlinux_head);
+    stxt->sh_size += sizeof(stub_armeb_v5a_linux_kernel_vmlinux_head);
 
-    return sizeof(stub_armeb_linux_kernel_vmlinux_head);
+    return sizeof(stub_armeb_v5a_linux_kernel_vmlinux_head);
 }
 
 unsigned PackVmlinuxPPC32::write_vmlinux_head(
@@ -1115,7 +1115,7 @@ bool PackVmlinuxARMEL::has_valid_vmlinux_head()
 bool PackVmlinuxARMEB::has_valid_vmlinux_head()
 {
     TE32 buf[2];
-    fi->seek(p_text->sh_offset + sizeof(stub_armeb_linux_kernel_vmlinux_head) -8, SEEK_SET);
+    fi->seek(p_text->sh_offset + sizeof(stub_armeb_v5a_linux_kernel_vmlinux_head) -8, SEEK_SET);
     fi->readx(buf, sizeof(buf));
     //unsigned const word0 = buf[0];
     unsigned const word1 = buf[1];