Change to the kernel-arm-ivi kernel