Comment by cschmid

For anyone who's wondering, you can see your current kernel config in a file like /boot/config or /proc/config.gz