Where did the kernel rpm go?