US7310724B2 - Parallel Execution of Enhanced EFI Based BIOS Drivers on a Multi-Processor or Hyper-Threading Enabled Platform