a27e292b8a54 ("Documentation/x86/boot: Reserve type_of_loader=13 for barebox")