Someone who has not flashed a modded kernel will have to pull it.
The good news is - you have the first step. See
http://forum.xda-developers.com/showpost.php?p=17777056&postcount=42
Now that you have a rooted kernel with a stock /system, you can get a system partition dump.
Get ADB up and running, and paste the results of running the following command in an ADB shell:
From that we can figure out which partition is the system partition. After that, the following command (need to put correct system partition into it) will create a system dump:
Code:
dd if=/dev/systempartitionlocation of=/sdcard/system.img bs=1M
If you upload that dump to multiupload and put the link here, someone (maybe myself, although I'm 50/50 on whether I'll actually purchase a device) can root that dump and make an Odin-flashable system partition image. This can be flashed to a phone that has the stock kernel to get root and dump the stock kernel.