changed kernel entry points from 'main' as intel sdk doesn't like it.