As expected (see
this article, under "Getting to the boot options menu (automatically) when there is a problem"), the system entered automatic recovery after detecting the boot loop, and I went back into the UEFI settings and changed it back to AHCI to restore normal operation