[arch-general] Kernel source URL change

This looks like a solution in search of a problem. heftig, please tell us why the change was required.