Compare Debian kernel configuration with the one used in Corsac's grsec kernels
_Originally created by @intrigeri on [#8605 (Redmine)](https://public-redmine-archive.tails.boum.org/code/issues/8605)_
Parent Task: tails/tails#7649
### Related issues
- **Related to** tails/tails#8604
issue