E435: Using original kernel