Default kernel-manager needs kernel devs to upload crespo kernels

please remove missed the other announcement somehow