I mean they could stuff kernel libc into vDSO.