Where can I find the stock kernel for my Samsung Galaxy S2?

I have a Samsung Galaxy S2 phone (GT-I9100). I installed clockworkmod, a custom kernel and rom (Resurrection Remix) earlier this year. One day I couldn't boot it anymore. I restored a backup of the stock rom still on my sd card. My phone worked fine again, except that my camera doesn't show me any image while running. I can take pictures and videos, but I'm blind while filming. I'm presuming this is because I still have the custom kernel installed. I would like to get back to an official Samsung kernel compatible with my old stock rom.

1. Where can I find such a kernel?
2. How can I be sure that it is the right one for my ROM?
3. What steps must I take to ensure that I can at least get back to the current state if something goes wrong in the process?

This is my current setup:

Model: GT-I9100

Android: 4.0.4

Band: I9100XXLPX

Kernel 3.0.15-TH codeworkx@cyanogenmod #2 SMP PREEMPT Sun Apr 29 10:50:29 CEST 2012

Version: IMM76D.BULPG

I appreciate any help you can give me on this topic.

Source: http://android.stackexchange.com/questions/49082/where-can-i-find-the-stock-kernel-for-my-samsung-galaxy-s2

Kyrgyzstan Suspects in Boston Bombing Kerry Rhodes Daft Punk Get Lucky Texas explosion Paul Kevin Curtis gucci mane