x86: missing kernel symbols