kernel/profile.c: remove some duplicate code from profile_hits()