Fix kernel path for tf201

Change-Id: I9f18a51b60bf33f2430cfb3a1f22fcf55c366a7a