Comment # 5 on bug 937067 from Thorsten Kukuk

If we have options to override, they should be usefull and consistent. Else we
could remove that code, too.

But the real problem is: on 32bit/64bit mix systems, EFI autodetection isn't
reliable possible, so we need this options.