Select the right kernel for the build

Change-Id: I26205aa12a2b39a56734c4978d4b6bfde65c50a1
Signed-off-by: Vishal Bhoj <vishal.bhoj@linaro.org>
1 file changed