We don't support patching kernel source trees any more. Change-Id: I87abd05fc11b8e2be8d36791e1945a143496de59