[PATCH] Documentation: x86: boot: reserve type_of_loader=13 for barebox

[Ahmad Fatoum]

barebox built as EFI payload has been booting Linux on x86 with
type_of_loader=0xff since v2015.09.0.

Reserve 13, the next free id, so this can be used instead.

Signed-off-by: Ahmad Fatoum <a.fatoum@xxxxxxxxxxxxxx>
---
 Documentation/x86/boot.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Documentation/x86/boot.rst b/Documentation/x86/boot.rst
index 894a19897005..240d084782a6 100644
--- a/Documentation/x86/boot.rst
+++ b/Documentation/x86/boot.rst
@@ -455,6 +455,7 @@ Protocol:	2.00+
 	11 Minimal Linux Bootloader
 	   <http://sebastian-plotz.blogspot.de>
 	12 OVMF UEFI virtualization stack
+	13 barebox
 	== =======================================
 
   Please contact <hpa@xxxxxxxxx> if you need a bootloader ID value assigned.
-- 
2.30.2