Root stock kernel for galaxy y

[rkmadotr]

hello guis
i m using custom kernel on sgy. but i want to go back to stock kernel. but i dont have backup of kernel. so can any body give me the stock kernel. the stock kernel can be extracted from the phone using " Kernel_backup_V1_by_chamatht.zip "
place the zip file in sd card root and flash through recovery mode. the kernel will be shaved in root of sd card. the kernel is a file of .img extension. thats what i need. Kernel_backup_V1_by_chamatht.zip can be download from the link forum.xda-developers.com/attachment.php?attachmentid=975110&d=1333207147
thanks in advance !