Originally Posted by Bavarese
Old 8088 CPUs (before 1981) had this bug. Is that behaviour wanted / correct?

Ideally we should support both types and have each driver specify which variant was shipped with the machine.