K 10
svn:author
V 6
royger
K 8
svn:date
V 27
2018-01-20T14:59:37.046657Z
K 7
svn:log
V 179
xen: fix IDT setup after PTI

On amd64 the IDT handler was not set correctly when using PTI.

While there also fix the selectors to SEL_KPL.

Obtained from:	kib
MFC with:	r328083

END