Added kernel symbols