Add missing kernel fact