Various fixes from sbm kernel variant. Makefile changed to play (almost) nice with Linaro toolchain. It actually builds now :)