Add new __kernel_vsyscall() offset seen in linux 3.15.3.