Spotting a little inefficiency when looking at related code. DataKind is always stored as `int`, but its values are actually comfortably fitting in byte.

But that is done for correctness and performance to avoid unaligned reads/writes in the AOT code cache. So it would be good to enforce it mechanically.