Changes to autocompile_kernel.py#13

Namenot wants to merge 2 commits intoadamtuft:mainadamtuft/c-kernel:mainfrom

Namenot:mainNamenot/c-kernel:mainCopy head branch name to clipboard