avc denied message from booting

[Richard Hally]

Below is part of the syslog messages from booting in enforcing mode with 
the latest policy. Perhaps it will be useful.
Richard Hally

Jun 26 04:39:43 new2 rc: Starting readahead:  succeeded
Jun 26 04:39:44 new2 messagebus: messagebus startup succeeded
Jun 26 04:39:45 new2 kernel: audit(1088239185.333:0): avc:  denied  { 
read write } for  pid=2385 exe=/bin/umount path=/dev/ptmx dev=hda2 
ino=1064807 scontext=system_u:system_r:mount_t 
tcontext=system_u:object_r:ptmx_t tclass=chr_file
Jun 26 04:39:45 new2 udev[2511]: creating device node '/dev/vcs3'