Use static picolibc.h file instead of generating it at buildtime#1407

jprendes merged 5 commits intohyperlight-dev:mainhyperlight-dev/hyperlight:mainfrom

jprendes:static-picolibc_hjprendes/hyperlight:static-picolibc_hCopy head branch name to clipboard