After D1727 was committed, Bruce Evans noted that the casts were actually completely unnecessary, here:
https://lists.freebsd.org/pipermail/svn-src-all/2015-February/098478.html
And indeed, if we would want to send this upstream, it is better to just assign &xxx_io_mc_regs[0][0] without any cast.