Links for spice-kernel-db