Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Federico Vaga <federico.vaga@gmail.com>

Signed-off-by: Federico Vaga <federico.vaga@gmail.com>

Signed-off-by: Federico Vaga <federico@tornado.i.gnudd.com>
Signed-off-by: Federico Vaga <federico.vaga@gmail.com>

Signed-off-by: Federico Vaga <federico@tornado.i.gnudd.com>

These patches are used internally to fix some mishaps. You
are not expected to use them but they are published just in case
they are useful again (and for historical memory).

Signed-off-by: Federico Vaga <federico.vaga@gmail.com>

This patch has no functional change, it only changes the procedure for
easier modification of configuration items.

Signed-off-by: Federico Vaga <federico.vaga@gmail.com>

This also adds more information about the wrboot script, no other serious
changes are there.
Signed-off-by: Federico Vaga <federico.vaga@gmail.com>