kernel/profile: fix profile_init() section mismatch