Help with kernel and firmware

I have looked, googled for sometime now with no answer. I used philz kernel ages ago along with a leaked Samsung official jellybean, the firmware was from Korea I think. Anyways, the phone works 100% but I have not used it since upgrading to the note II. I'm going to sell the phone but would like to flash back and install the official UK firmware just so the new owner has no issues. Also when I reset the phone it's in another language, which might put some buyers off, obviously you can change the language to English but still. The reason im having trouble is because the baseband and build number do not match any other I can find on the internet, which makes me think I may have messed up when I flashed, although everything works fine.

My device info is -

Model number - GT-N7000
Android Version - 4.1.2
Baseband version - N7000XXLSO
Kernel version 3.0.31-1042183
se.infra@SEP-97 #3
SMP PREEMPT Sat Mar 23 18.25:14 KST 2013
Build number - JZO54K.N7000ZSLO2

All the info I found showed a different build number or baseband... so I'm lost. Hopefully someone can help.

Please be nice...

Thanks