From what I understand, most kernels come with ClockworkMod pre-installed. According to this guide, you have to use Heimdall Suite to install Hardcore's Speedmod kernel. Would it be possible to just flash the kernel using SGS Kernel Flasher instead of going through all of the hassle of Heimdall? Thanks 
