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

[musl] / src / signal / sigrtmax.c

int __libc_current_sigrtmax()
{
        return 64;
}