uboot: Add optional extra bootargs for the kernel
This allows us to tweak the bootargs at the u-boot prompt additively for
diagnostics or testing.
Change-Id: Ib2ede34abc8fa02a8bdd5b4d2d50e0aa145cb124
diff --git a/debian/boot.txt b/debian/boot.txt
index 7f53996..f1ea6ae 100644
--- a/debian/boot.txt
+++ b/debian/boot.txt
@@ -26,5 +26,5 @@
ext2load mmc ${bootdev}:1 ${loadaddr} ${image}
ext2load mmc ${bootdev}:1 ${fdt_addr} ${fdt_file}
-setenv bootargs ${cmdline}
+setenv bootargs ${cmdline} ${extra_bootargs}
booti ${loadaddr} - ${fdt_addr}
