x86, doc: Add a formal bootloader ID for kexec-tools