Well, IBM PCs apparently really shipped with the broken parts early on even though the behavior was not desired, so we probably should document it. That said, I'd have it be some sort of clone driver; the parent ibm5150/5160 should use the best possible 8088 emulation.
