Profile URL in the welcome message sometimes has wrong userid

The email_welcome_message_to_user() function takes a user as the last parameter.

However, it ignores that parameter when creating the profile URL:

$a->profileurl = "$CFG->wwwroot/user/view.php?id=$USER->id&course=$course->id";

Therefore the link will be wrong if an admin enrols a user manually for example.