Estou tentando fazer uma nova instalação e usar systemd-boot como o carregador de inicialização para meu ESP, mas no instruções de instalação no passo 4 diz:
Copy your kernel and initramfs onto that ESP.
Mas onde estão vmlinuz-linux e initramfs-linux.img ? Eu não posso encontrá-los para a vida de mim. Preciso instalar o bootctl antes que esses arquivos estejam disponíveis? Nada existe em /boot no meu disco de instalação do Arch Linux ou nas partições com as quais estou trabalhando