remove riscv64 bits/user.h contents