probably would make sense to also reinstall selinux-policy and selinux-policy-targeted as well. but let me know if anything along the way does not work as i assumed :)