Under -fbounds-safety a uint64_t [2] parameter becomes a bounds-carrying
pointer, which cannot be an inline assembly operand. Plain uint64_t * is
identical in C and carries no bound. Vendor declarations stay in the
#else for the next CK import.
Sponsored by: The FreeBSD Foundation