Hello!

I was debugging an issue I ran into (https://github.com/docker/docker/issues/23378) and after chatting with the folks in #musl and we triaged it down to a broken vDSO (tested by running `strace date` and seeing a clock_gettime call.)

The theory is that the toolchain was somehow subtly broken and made a broken kernel, I think.

The built binaries in this case are from http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.7-rc2-yakkety/

I am not a Kernel dev or anything, just following the issues.  Hope this helps!