There is no profile for SELinux on amd64. Reproducible: Always Steps to Reproduce: 1.Attempt installation of selinux on amd64 2. 3. Actual Results: No profile found, installation could not continue. Expected Results: Had a profile for amd64 installation.
Our selinux developers do not have the hardware to support this at this time as far as I know. Feel free to give up yours :)
committed a test profile