Minor fixes; add kernel configuration for Linux 3.10.17 on x86.