Bug#858029: partman-efi: Manual partinioning in EFI system without EFI boot partition does not trigger an error message

[Miguel Hermanns <miguel.hermanns@gmail.com>]

Package: partman-efi
Version: 75
Severity: important

Dear Maintainer,

When installing debian stretch RC2, manual partitioning was done without
specifying an EFI boot partition. This did not trigger an error message
by partman, although according to section 6.3.3.3 of the installation
guide it should have done so. 

The result was that the computer was unable to boot after the
first stage of the installation.




-- System Information:
Debian Release: 9.0
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 4.9.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)