Palmer Dabbelt <palmer@dabbelt.com> writes: > It looks like this got lost in the shuffle, but as far as I can tell it makes > sense. Is anyone opposed to this, which differs only in the comment? +1 from me. We can fix/choose the 32-bit version as that port matures, if needed.