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

linuxaa64.efi.stub.7.en

debian 12 / systemd-boot-efi