Add support for 3.8+ kernels