Add assembli files for intermediate assembly badge

There are some unfixed bugs regarding sbrk where sizeof(int) is not
multiplied.