Use the new kernel repository