Always assume kernel source is present

Change-Id: I09a9fe1be04107187e2b8d14c91e9ecb89d6faa2