Dialyzer; add uEnv.txt support in the boot part

This allows one to pass command line options to the Linux kernel in
u-boot configurations that read uEnv.txt.