e4c0138ab396 ("Documentation efi-stub.rst: fix arm64 EFI source location")