Tiny Linux Makefile improvements

Hi,
I have modified linux makefile so they can handle source dependencies. Now if a header file is edited, sources that depends on this header will be recompiled.