Merged kernel support for ELF executable format from karolina.lindqvist.

Now kernel can directly run executables generated by gcc.
I believe this change does not break anything.