Comment 15 for bug 1234546

Hi Steve

Thank you for this workaround, I confirm this also works for me!

I _think_ this brings you in USB bios mode per default when installing?