Where are kernel and initramfs files for systemd-boot?

I'm trying to do a fresh install and use systemd-boot as the bootloader for my ESP, but in the [install instructions](https://wiki.archlinux.org/index.php/systemd-boot#EFI_boot) on step 4 it says: > Copy your kernel and initramfs onto that ESP. But where are vmlinuz-linux and initramfs-linux.img located? I can't find them for the life of me. Do I need to install bootctl before those files are available? Nothing exists in /boot in either my Arch Linux install disk or the partitions that I'm working with