Someone uploaded the XXALI8, and XXALI9 .img a few posts down in this thread:
http://xdaforums.com/showthread.php?t=1932997
Can you flash these over a modified kernel i fyou want to go back to stock?
Im not sure what you do with .img files.... adb shell dd maybe?
you can get all the stock firmwares ones from here too:
http://www.sammobile.com/firmware/?page=3&model=GT-I9305&pcode=0&os=1&type=1