kernel/sysctl.c: Fix build failure with !CONFIG_PRINTK