I'm hard at work tracing out the 8088 die, so hopefully I can confirm this discussion at the circuitry level before too long.