Man pages matching name linuxx64.efi.stub in section 7:

linuxx64.efi.stub.7.en

debian 12 / systemd-boot-efi