At long last, I have finally gotten around to adding support for i2c bus mux hardware. For anyone interested, see the review at https://reviews.freebsd.org/D22891 -- Ian