Linux Kernel image in different forms