Yes but, if port in bios are configured to 2.0 controller, then no extra driver will be needed in the WinPE, as it support the 2.0 controllers.
And if configured to Automatic or 3.0 controller then the 3.0 driver will be needed.
So as currently the devices are not seen in WinPE, then the port in bios are not configured to 2.0, therefore driver are needed.
Checking UEFI setting are not important as booting are done via DVD and are working.
So to me I can not see reason why user should need to go into the bios, from already listed information, then it must currently be using the 3.0 controller, why the driver are needed, and will then be running 3.0.
The switch driver are when booting on the port and it are set to automatic, as then and only then it will be running 2.0 during boot, and WinPE the with this driver switch to 3.0.
I may be wrong, but this are just how it has been working on the machines I have been in contact with.