Always assume kernel source is present

Change-Id: I463f9dfb07a22b9d4387de8d06e593d43fd5d4b0