fix x86_64 user.h (previously was just a copy of i386)

[musl] / src / stdio / getchar.c

#include <stdio.h>

int getchar(void)
{
        return fgetc(stdin);
}