kernel/events/core.c: remove identical line