12 seconds sounds fine.. hmmm. I'm curently using a DFI mobo (Award Bios) but will be switching back to my E760 classified soon (Award as well, but a slow booter...)
I really like the bootup post speed of the DFIs, can hardly read anything before gettng to the Windows Boot Logo
Configuration would be 4x SSD in Raid 0 ofc, single volume.