Verified:
rhel-server-x86_64-kvm-6.4_20130130.0-9

# cat /etc/fstab 
UUID=6410be64-4f8e-471b-b4c5-de6b1b9d8103  / ext4    defaults,noatime 0 0
devpts     /dev/pts  devpts  gid=5,mode=620   0 0
tmpfs      /dev/shm  tmpfs   defaults         0 0
proc       /proc     proc    defaults         0 0
sysfs      /sys      sysfs   defaults         0 0

# cat /etc/mtab 
/dev/vda1 / ext4 rw,noatime 0 0
proc /proc proc rw 0 0
sysfs /sys sysfs rw 0 0
devpts /dev/pts devpts rw,gid=5,mode=620 0 0
tmpfs /dev/shm tmpfs rw,rootcontext="system_u:object_r:tmpfs_t:s0" 0 0
none /proc/sys/fs/binfmt_misc binfmt_misc rw 0 0
sunrpc /var/lib/nfs/rpc_pipefs rpc_pipefs rw 0 0

# df
Filesystem           1K-blocks      Used Available Use% Mounted on
/dev/vda1              5905728   1881624   3964104  33% /
tmpfs                   510084         0    510084   0% /dev/shm
# lsblk
NAME   MAJ:MIN RM  SIZE RO TYPE MOUNTPOINT
vda    252:0    0    6G  0 disk 
ââvda1 252:1    0  5.7G  0 part /

# ls -l /dev/vda1
brw-rw----. 1 root disk 252, 1 Oct  8 16:50 /dev/vda1

Since the problem described in this bug report should be
resolved in a recent advisory, it has been closed with a
resolution of ERRATA.

For information on the advisory, and where to find the updated
files, follow the link below.

If the solution does not work for you, open a new bug report.

http://rhn.redhat.com/errata/RHBA-2013-1481.html