[PATCH] kernel/profile: Fix profile_init() section mismatch.

Printable View