The devicetree-overlay key is part of the official Boot Loader
Specification. There is no need to document it in Barebox, again.

Signed-off-by: Michael Tretter <m.tretter@pengutronix.de>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>