Am I to take it that devices under sys/dev/isa should be considered MI and therefore documented as such?