actually update the kernel image to 3.15.7