Created attachment 600691 [details] dmesg | grep avc Description of problem: There are a few avc's during boot. At least one of these blocks being able to mount filesystems on luks devices. Version-Release number of selected component (if applicable): selinux-policy-targeted-3.11.0-11.fc18.noarch
Should be fixed in the next release.