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

[Sascha Hauer]

On Wed, 10 Jun 2026 14:59:27 +0200, Michael Tretter wrote:
> The Linux kernel target for building the CPIO archive is called
> modules-cpio-pkg.
> 
> Fix the documentation to make it easier for the user.
> 
> 

Applied, thanks!

[1/1] Documentation: user: devboot: fix kernel target
      https://git.pengutronix.de/cgit/barebox/commit/?id=f9a107582a8f (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>