bamacken I flashed 0.9.0 firmware with success and had the same problems that you had with the broken bZimage. Now, after downloading it again I can boot from SD card (even if bZimage date has not changed...).
@AlexT_Intel I had hoped that the new 0.9.0 linux distribution included make and the c compiler, but it doesn't look so.
Will it be possible to add compiler tools as packages to be downloaded with opkg from your repository ?