Package: base-files Severity: normal Dear Maintainer,
/efi is a replacement for the historical and now discouraged ESP (EFI System Partition) mountpoint /boot/efi. Systemd upstream agrees: https://github.com/systemd/systemd/pull/3757#issuecomment-234290236 Using /boot/efi means that /boot must always be mounted in order to mount the ESP, but those two partitions are independent so making /boot a prerequisite for ESP is needless. /efi is already documented in debian-stable under `man file-hierarchy`, quoting: """ /efi/ If the boot partition /boot/ is maintained separately from the EFI System Partition (ESP), the latter is mounted here. Tools that need to operate on the EFI system partition should look for it at this mount point first, and fall back to /boot/ — if the former doesn't qualify (for example if it is not a mount point or does not have the correct file system type MSDOS_SUPER_MAGIC). """
