target/i386: document more deviations from the manual