fix issue #39
freepto-docs upgraded
upgraded makefreepto
allow old kernel in a separate branch
Merge pull request #42 from vinc3nt/master

Some upgrades