Greetings,
The new kernel 4.12 series has started and for all the ealier adopters who want to use these kernels with Mali Midgard GPU support, here are the patches needed to compile such kernels with the Mali Midgard r17p0 drivers, after copying the driver…