more on notes on x86 for 2810.