Use an m4-specfic kernel, because the common 8960 one has audio issues

Change-Id: I0855bf85e9148401d78d3ba3cb243338183c6fe8