Before argument please cross check.1. Why use a custom kernel if you won't root it to set tweaks/changes to the kernel itself? What's the point?
2. Why use a custom ROM if you won't root it? Stick to Stock ROM if you don't want root..
That's not the Stock Mi A1 kernel. That's a custom kernel called MetaPhoenix.