@freemangordon: can you look at @peterleinchen problem?

If I remember correctly kp52 has updated dsp bridge kernel module which needs new options in /etc/modprobe.d/bridgedriver. So maybe it can break stock kernel, but I did not have this problem. I can boot both kernel-power and stock kernel (with updated modprobe.d). But this could be device dependent...