Added kernel 3.9 support