Override the verification testing result: the new annotations model has been verified, and others were inherited from the master kernel.
Override the verification testing result: the new annotations model has been verified, and others were inherited from the master kernel.