Add missing kernel symbol.