Can I change the kernel without any sing the miui 10 beta in my redmi note 4 and I am on stock kernel