doesn't debian usually stick to LTS kernels? afaik 7.0 was designated as an LTS release so it'll probably be the version that next major release will ship with (next year maybe?)