[rwth-security] New Patches Would Make All Kernel Encryption/Decryption Faster On x86/x86_64 Hardware