Explicitly use 3.10 kernel