Selection between kernel 4.1 and 4.4

Change-Id: I4bb95da33ef2e03d4778e4d4d679d3833f4876f2
1 file changed