diff --git a/Documentation/user/booting-linux.rst b/Documentation/user/booting-linux.rst
index 4b0ead1..983b56d 100644
--- a/Documentation/user/booting-linux.rst
+++ b/Documentation/user/booting-linux.rst
@@ -232,10 +232,6 @@
 image on different devices without having to specify a different root= option each
 time.
 
-Additionally to the options defined in the original spec, Barebox has the
-``devicetree-overlay`` option. This is a string value that refer to overlays
-that will be applied to the device tree before passing it to Linux.
-
 Network boot
 ------------