Convergence analysis of ODE models for accelerated first-order methods via positive semidefinite kernels