The user FAQ has an entry about the kernel options. That needs to be checked if that's still correct.
The user FAQ has an entry about the kernel options. That needs to be checked if that's still correct.