Description of problem:
I am getting messages like that during boot and shutdown:
avc: denied { setsched } for comm="modprobe" pid=820
scontext=system_u:system_r:insmod_t:s0-s0:c0.c1023 tclass=process
tcontext=system_u:system_r:kernel_t:s0 
avc: denied { setsched } for comm="modprobe" pid=1548
scontext=system_u:system_r:insmod_t:s0 tclass=process
They differ from time to time, but the general form stays the same. The two
above were grabbed with setroubleshoot from /var/log/dmesg.

Version-Release number of selected component (if applicable):
2.6.4-40.fc7

How reproducible:
always

Steps to Reproduce:
1. boot up the pc, or shut it down
  
Actual results:
The mentioned message appears

Expected results:
Boot is clean

Additional info:
According to [1], this was already fixed for rawhide. Looks like the fix wasn't
backported, though.

[1] http://www.redhat.com/archives/fedora-selinux-list/2007-July/msg00110.html