bsd-user: replace fprintf(stderr, ...) with error_report()