image-uboot: Use the Debos kernel commandline management tools

Use the {setup,append}-kernel-cmdline properties from the filesystem-deploy Debos action to configure the commandline parameters for the Linux kernel, rather than setting them by hand via sed.