[Bug 937067] efi=1 does not seem to work anymore