Question [Q] MK4 Kernel

I am not trying to rush anyone, just out of pure curiosity, is a MK4 kernel possible? like with Overclock and all those other features? To all the developers currently trying to make this happen, thank you!