In the past when I've downloaded preboot drivers for use with F6 during a Windows Installation (for SATA drivers for instance), I've always just seen a single set of driver files. The Intel drivers I just downloaded have both 32 and 64 bit versions of the drivers and the instructions don't make it clear which set are used for the F6 disk.
Since these are PRE-boot drivers, does the 32 vs 64 bit even come into play? Which of the drivers would I use? The fact that other F6 driver downloads only have one set of files makes me think that the preboot environment is 32 bit only. But is that right?