Re: [PATCH] distro_bootcmd: Fix copy-paste error