jep, they were different.
It was the Tablet P kernel from signed-nbx02_004-ota-121121004.zip
-> http://forum.xda-developers.com/showthread.php?t=1687429
i just tried to read out the kernel the easy way, but this does not work
[email protected]:/dev # dd if=mem of=/imgdata/dev-mem-25mb.img bs=512...