Use the proper kernel for our vendor files

Change-Id: I16190f08ea248b85e833d4776f1d55d82f7f5c9b