x86: doc: Update EFI loader support