Best way to configure Linux kernel for a machine