Description of problem:
Due to some problems booting all the way to gdm (the system tends to hang), I'm doing some maintenance in a shell spawned by passing "single" on the kernel boot line.  I did a "yum upgrade", and am now seeing lots of denials like this one:

[  252.359429] type=1400 audit(1308154283.833:99): avc:  denied  { read append } for  pid=1024 comm="prelink" path="/dev/console" dev=devtmpfs ino=5213 scontext=system_u:system_r:prelink_t:s0 tcontext=system_u:object_r:console_device_t:s0 tclass=chr_file

The upgrade appeared to complete normally.

Version-Release number of selected component (if applicable):
selinux-policy-3.9.16-28.fc16.noarch
selinux-policy-targeted-3.9.16-28.fc16.noarch
prelink-0.4.5-2.fc16.i686

How reproducible:
Don't know.  Only tried once.

Steps to Reproduce:
1. Boot with "single" on the kernel command line.
2. Have at least one out of date package installed.
3. yum upgrade
  
Actual results:
The upgrade appeared to complete normally, but I saw multiple instances of the AVC denial shown above while the new packages were being installed.

Expected results:
No AVC denials.

Additional info: