Links for linux-kernel-manager