Configure in EFI (for boot.mount generation, among other things)
Add changelog entry for 204-6~bpo70+0ptux2
Enable installation of /usr/bin/kernel-install

Use the path /boot/efi for the mountpoint of the ESP, per Debian
convention.
Fix error return from kernel-install without initrd
Add changelog entry for 204-6~bpo70+0ptux5
debian/control: fix Vcs-* control fields for Pragmatux derivative
Bump changelog version to 204-6~bpo70+0ptux6