Rating:
[full writeup](https://ctf.harrisongreen.me/2019/x-mas-ctf/kernel_crackme/)
When I solved this I didn't realize it was AES so I solved it by reversing the encryption function step by step with z3.
I don't remember
