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

linuxia32.efi.stub.7.en

debian 12 / systemd-boot-efi