Note on de Sitter vacua from perturbative and non-perturbative dynamics in type IIB/F-theory compactifications