diff --git a/config/repository-kernel-selection.conf b/config/repository-kernel-selection.conf
index 63f02268e5..496f4615a4 100644
--- a/config/repository-kernel-selection.conf
+++ b/config/repository-kernel-selection.conf
@@ -4,7 +4,7 @@
 
 # LINUXFAMILY[:branch] tokens. Globs are allowed. No branch means all branches.
 # Use the LINUXFAMILY, not the board: uefi-x86 is "x86", rpi4b is "bcm2711".
-KERNEL_SELECT="*:edge x86:current"
+KERNEL_SELECT="*:edge x86:current *:cloud"
 
 # Also copy linux-libc-dev.
 INCLUDE_LIBC_DEV="true"