Fix kernel version detection for x.y kernels

Summary: Some version of debian is shipping 3.14-1.

Fixes #3513

Reviewed By: @ptarjan

Differential Revision: D1503114