avc denied messages from microcode_ctl

[Richard Hally]

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