[PATCH] Documentation: user: devboot: fix kernel target

The Linux kernel target for building the CPIO archive is called
modules-cpio-pkg.

Fix the documentation to make it easier for the user.

Signed-off-by: Michael Tretter <[email protected]>
---
 Documentation/user/devboot.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/user/devboot.rst b/Documentation/user/devboot.rst
index 550ab9120576..79d49764d84c 100644
--- a/Documentation/user/devboot.rst
+++ b/Documentation/user/devboot.rst
@@ -89,7 +89,7 @@ Override rules
 
   .. tip::
 
-     The Linux kernel ``make cpio-modules-pkg`` target builds a CPIO archive
+     The Linux kernel ``make modules-cpio-pkg`` target builds a CPIO archive
      containing all kernel modules. This is useful for supplementing an existing
      initramfs with modules without modifying the root filesystem.
      Combined with initrd concatenation, a devboot script

---
base-commit: 9f66cf06045bba4980daa889ec562866697bce2d
change-id: 20260610-documentation-devboot-48fccc87b4df

Best regards,
-- 
Michael Tretter <[email protected]>