full writeup

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.

Original writeup (https://ctf.harrisongreen.me/2019/x-mas-ctf/kernel_crackme/).