Use "kitkat-legacy" version of the kernel