> If the BIOS is really setting a minimum OS, it needs to initialise all the managed devices
EFI is designed to initialize the minimum amount of hardware required to run the bootloader. Now I am not familiar enough with various hardware configurations to know if this will be faster than old BIOSes in *every* case but I am pretty sure it will be in most.