Calabi–Yau 4-folds of Borcea–Voisin type from F-theory