check-gnu-efi: remove bashism