17.1. Linux kernel configuration