Use correct kernel source

Change-Id: Ifd8cdb0d95a0e9d148cf353193a73ad8734a1e99
Fix copy/pasta

Change-Id: I4827efe51ca7f1ab66b3e0c588024a194db48075
jf-like extract-files

Change-Id: Ia285ca5bbe03751fa1cd2a18e14f245c8969197f