# We don't need a kernel for Docker.
# BR2_LINUX_KERNEL is not set
