I also fail using that method after a long compilation time.
I have tracked the error down to building the SGX kernel files. That makefile seems to be made for reacting on OMAPES=4.x and not OMAPES=4
The file that fail is:
hardware/ti/sgx/Makefile.KM.Android
It seems as this is just plain broken. I look forward to see if TI can help.
Kind regards and thank you for your help.
Jesper