The core x86-64 NLKD adjustments to pre-existing code. From: Jan Beulich (actual patch attached)