K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2018-01-18T20:12:12.959418Z
K 7
svn:log
V 245
Adjust branch target in NMI handler for the !PTI case.

In the !PTI case the NMI handler jumped past the instructions that set
%rdi to point to the current PCB, but the target instructions assumed %rdi
were set.

Reviewed by:	kib
Tested by:	pho

END