invocation_header_gen: input multiple XMLs files and inline arch variants directly into the main enum.
invocation_header_gen: input multiple XMLs files and inline arch variants directly into the main enum.

cavedweller/rust-sel4