[Merge] ~ubuntu-core-dev/grub/+git/ubuntu:lp.1795291 into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu

[Julian Andres Klode]

Review: Needs Information

Just skipping vmlinuz binaries where .efi.signed exist seems like a better approach IMO, we can just do that by adding a

		if [ -e "$kernel.efi.signed" ]; then
			continue
		fi

before or after the dpkg check. 
-- 
https://code.launchpad.net/~ubuntu-core-dev/grub/+git/ubuntu/+merge/355904
Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.