Check if 32-bit UEFI still works
Originally created by @intrigeri on #11871 (Redmine)
According to https://mailman.boum.org/pipermail/tails-support/2016-October/000747.html, the automatic upgrade from 2.5 to 2.6 did not break 32-bit UEFI support, but a pristine installation of 2.6 with Universal USB Installer created a broken 32-bit UEFI setup.