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