libk  Files in arch/x86.lin.64/ of tip

Files in directory arch/x86.lin.64 from the latest check-in