kernel/profile.c: fix section mismatch warning