Full faithfulness for overconvergent F-de Rham-Witt connections