Makefile: Generate inline asm in .h instead of .c
Makefile: Generate inline asm in .h instead of .c

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star