Generally we use the earliest surname that comes up in official documents. If there's a birth certificate that says Devos, use that. You can always enter Davis in the Other Last Names box if he changed it.
It's more than likely DeVos anyhow. I have a Belgian friend with that surname.
