if you reinstall arch linux, you have oval linux