A note on KAM theory for quasi-linear and fully nonlinear forced KdV