diff -Nupr src.orig/fs/readdir.c src/fs/readdir.c
--- src.orig/fs/readdir.c	2020-09-03 11:48:30.499726129 -0400
+++ src/fs/readdir.c	2020-09-03 11:48:37.119746839 -0400
@@ -176,6 +176,7 @@ static int filldir(void * __buf, const c
 			goto efault;
 	}
 	dirent = buf->current_dir;
+	asm("nop");
 	if (__put_user(d_ino, &dirent->d_ino))
 		goto efault;
 	if (__put_user(reclen, &dirent->d_reclen))