How long does it take for the Macbook Air to boot OS X with the Solid State Drive? Are there any benchmarks to compare it booting against it's HDD counterpart?