Considering they've selected hardware specifically for mainline kernel support (no hacked together modules with custom requirements) , I can all but guarantee purism will use a recent kernel... in the 4.10 range. That is the entire point, after all.