It seems the kernel and device got renamed but the dependency between them wasn't. This fixes BPO
[ci:skip-vercheck] [ci:skip-build]: already built successfully in CI