But assuming that the internal disk data is encrypted and unavailable to the external OS, what does it matter if it has modified kernel modules? The worst it c

But assuming that the internal disk data is encrypted and unavailable to the external OS, what does it matter if it has modified kernel modules? The worst it can do is scribble garbage over the cipertext, which is unfortunate but not a security risk.