c1389b645a
Don't #include an unused header from i386/isa. Headers from there shouldn't be included in "isa-independent" files anyway.