80386 hardware reference manual (1986)