Without a verified kernel, each of these features becomes a potential attack vector or a source of system instability.