Fix for 3.9 kernel (ArchLinux)
     839* driver/vminfo.c: Fix for 3.9 kernel.