You're one step "down" from the list of all kernels for S4: https://forum.xda-developers.com/galaxy-s4/i9505-orig-develop. You'll have to check each one to determine if it supports your particular S4.
#include <std_disclaimer.h> /* * Your warranty is now void. * * We're not responsible for bricked devices, dead SD cards, * thermonuclear war, or you getting fired because the alarm app failed. Please * do some research if you have any concerns about features included in this ROM * before flashing it! YOU are choosing to make these modifications, and if * you point the finger at us for messing up your device, we will laugh at you. * */