I have a Xiaomi Redmi Note 5.
And for the kernel, yes I thought about that but I don't know which kernel I should install. I tried with the latest one, the 4.15.0-74-generic, I can also choose between signed, generic, hwe and others, and I don't know the differences.
