Size of `__vdso_gettimeofday` is too small for trampoline

In #2271, the shim panics with the message:

```
00:00:00.000001 error [patch_vdso.c:178] [_inject_trampoline] Can't inject 13 byte trampoline into 5 byte symbol '__vdso_gettimeofday'
```

This is failing on Ubuntu 22.04 with kernel 5.15.0-39-generic.