Apparently, the kernelcache in this version isn't encrypted, but it is compressed in some sort. --5urd (talk) 02:48, 20 January 2014 (UTC)
Just use xpwntool kernelcache.release.s5l8900x kernel s5l8900x -k -iv to be able to make it function as decrypted. --iAdam1n (talk) 17:34, 20 January 2014 (UTC)