kernel-smp missing in updates/testing?