While booting the 427 kernel in enforcing mode with
selinux-policy-strict-1.13.4-5,
the following avc denied messages occur:
Jun 13 21:04:03 new2 kernel: audit(1087175026.816:0): avc: denied {
write } for pid=1247 exe=/sbin/microcode_ctl name=microcode dev=hda2
ino=1070659 scontext=system_u:system_r:cpucontrol_t
tcontext=system_u:object_r:device_t tclass=chr_file
HTH
Richard Hally