Fix kernel-devel url