I believe they are the Chevy kernels and I have used them and they worked well for me. He has newer ones then the OP so I believe you will have to go to Chevy's forum to find the newest ones.
The newer 5/31 ones are the only new generation kernels that work well for me. My OG can only handle LV 900mhz one but it works awesome. great battery life and good temps. No matter what else I try... 1000mhz, ULV, MV, etc... cause bootloops or high temps.