Add x86 kernel support for 3.8.13

Signed-off-by: Alec Ari <neotheuser@ymail.com>