No idea.
I've since shaved another few seconds from the boot time by disabling the logo, shortening the wait for input timer and disabling a couple of unused things from being initialised.
I really love the control you get with this motherboard. Best BIOS I've used yet, with reasonable descriptions for most of the many options.