Links for profile-kernel