kernel/params.c: use scnprintf() instead of sprintf()