I want build the kernel and need to generate the tiboot3.bin file,I am usiing the sdk "ti-processor-sdk-linux-am64xx-evm-08.04.01.04",i am start build using the top make file,i able to get the u-boot images but i am not able to get the kernel images(tiboot3.bin).Please suggest some steps for generating the image.