If people are suspicious of Speck, then how do they feel about SELinux being in the kernel these past 19 or 10 years?