[ci:skip-build]: already built successfully in CI Signed-off-by: Danct12 <danct12@disroot.org>
Follow-up to !21, where only the kernel was added, but not the device package.