[BUG] rebranding change needed in clocksource syscheck

[dnwe]

Describe the bug

The clocksource syscheck for xen still refers to redis-server in the output text rather than valkey-server:

valkey/src/syscheck.c

Lines 128 to 131 in 87a5bfc

	*error_msg = sdsnew(
	"Your system is configured to use the 'xen' clocksource which might lead to degraded performance. "
	"Check the result of the [slow-clocksource] system check: run 'redis-server --check-system' to check if "
	"the system's clocksource isn't degrading performance.");

To reproduce

Run valkey-server under the xen hypervisor with default clocksource

Expected behavior

Error message should be updated to run 'valkey-server --check-system' to check if the system's clocksource isn't degrading performance

Additional information

N/A

[enjoy-binbin]

thanks, do you want to open a PR to fix this?

[hwware]

Thanks for reporting this bug, I already create a pr on behalf of you @dnwe
#365