@kaia if your lazy you can use the binary kernel, but the last 15 years I configured most options of the kernel.