`usleep`s are orders of magnitudes shorter on Redox than on Linux

Reproduction:

int i = 0;
while (1) {
    printf("%d\n", i++);
    usleep(100000); // 0.1 sec
}

This prints 10 lines per second with Linux/glibc and thousands of lines per second with Redox/relibc.