Re: Fedora 16 AVC at boot time