The test hasn't been working for a while, since there's no /efi or /boot in $DESTDIR. Resolves: #31618