FC4 update and SELINUX