sencha: update CHERIoT toolchain headers
Install our hand-crafted includes for baremetal compilation in the
pre-built toolchain. The concensus was to not leave this to the toolchain,
though most are just copied from there.
NB: the install glue is setup to handle multiple versions by
duplicating the pathnames. For now we install them as though
they are for the v13 toolchain, knowing that the build glue
(in hw/matcha) will find them for the v17 toolchain also.
Bypass-Presubmit-Reason: no CI tests; used to build the current cheriot toolchain
Change-Id: I8a7eaa01e00e288fd6ff3a17c9613cb89d9c5181
18 files changed