printk_ratelimit() functions should use CONFIG_PRINTK