Look at the respond that I got from them.
Dear Customer, Thank you for your interesting and advice on our product. In case of kernel, some of samsung proprietary codes are not included. (codes that are not affected GPL -loadable modules) There''''s no source code covered under GPL 2.0 license in bootloader and some loadable kernel driver. So, kernel booting can be failed. Please understand we do not guarantee opensource code is executable in target device. Our product source code has some proprietary code so we can''''t released full kernel source code for this phone. It would be appreciated if you can understand our situation. We are sorry for not giving you an correct anwser upto your satisfaction.