XENIAL:
Verified cases 3 and 4; verification is done for shim, shim-signed, grub2, grub2-signed in xenial.
TRUSTY:
Verified case 3; verification is done for shim, shim-signed, grub2, grub2-signed in trusty.
XENIAL:
Verified cases 3 and 4; verification is done for shim, shim-signed, grub2, grub2-signed in xenial.
TRUSTY:
Verified case 3; verification is done for shim, shim-signed, grub2, grub2-signed in trusty.