Is is possible to update the kernel version of the raspberry-pi image? Currently 4.9.59 is installed, and 4.14 is available. We need the new kernel as our setup is for a digital signage solution where hardware acceleration with the
vc4-fkms-v3d overlay is required. This is really buggy (hanging screens, flashing etc.) on old kernels.