Add stubs for Vale assembler files, that are portable to other architectures, to satisfy unresolved externs.
Add stubs for Vale assembler files, that are portable to other architectures, to satisfy unresolved externs.

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