x86, efi: Add EFI boot stub documentation