Update kernel repository