The core x86 (32- and 64-bit) NLKD additions. Signed-Off-By: Jan Beulich (actual patch attached)