[PATCH master 4/5] Documentation: x86: note EFI support

[Ahmad Fatoum]

Most users are better served by using the EFI support. Add an info box
to nudge them into the correct direction.

Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
 Documentation/boards/x86.rst | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Documentation/boards/x86.rst b/Documentation/boards/x86.rst
index 4514a766a216..c0d5a64b9d45 100644
--- a/Documentation/boards/x86.rst
+++ b/Documentation/boards/x86.rst
@@ -1,6 +1,11 @@
 x86
 ===
 
+.. note::
+   This is about legacy x86 PC boot, which is not as well supported as booting
+   under UEFI. Refer to :doc:`boards/efi.rst` for documentation on the barebox
+   EFI support.
+
 Features
 --------
 
-- 
2.28.0