diff --git a/kernel/vdso.c b/kernel/vdso.c
index 097d4012..33cc210c 100644
--- a/kernel/vdso.c
+++ b/kernel/vdso.c
@@ -5,7 +5,8 @@
 __asm__(".data\n"
         ".global vdso_data\n"
         "vdso_data:\n"
-        ".incbin \"vdso/libvdso.so.elf\"");
+        ".incbin \"vdso/libvdso.so.elf\"\n"
+        ".skip 8192 - (. - vdso_data)\n");
 
 int vdso_symbol(const char *name) {
     struct elf_header *header = (void *) vdso_data;