4.2 .Stock kernel

[eriaa01]

Looking to flash back to the stock 4.2 kernel... Downloaded the file from Google and only see a boot.img.p file in the patch directory, not seeing a boot.img file anywhwere. Not exactly sure what the difference is... Can anyone point me in the right direction to flash back to the stock kernel? Appreciate it...