Add Linux kernel configuration