adding the kernel version 3.8.0-31, which was missing in R1.10

Change-Id: I4e32b445b74cd2761abed3c7436acb0f8b3540b3