makefile for compile
TODO we have to find a way using AS instead of GCC for boot.S