adding the kernel version 3.8.0-31, which was missing in mainline