Due to issue #440, I decided to reinstall with ABIF, but when choosing the systemd-boot option, it does not correctly generate the installed kernel entry, making the system unbootable.
It generates an archcraft.conf using PARTUUID instead of UUID and, in any case, that PARTUUID was incorrect. I had to fix it manually.
Furthermore, the boot options such as quiet splash loglevel=3 udev.log_level=3 vt.global_cursor_default=0 lsm=landlock,lockdown,yama,integrity,apparmor,bpf that it does create in the /etc/default/grub file are not passed over to that .conf file.
Furthermore, despite specifying that I would use the systemd-boot bootloader, it still installs the GRUB packages and their dependencies.