or1k: add empty user.h