kernel.h: fix wrong usage of __ratelimit()