Update pc386.in to correspond to couverture option