Boot time battle: Macbook Air (Mountain Lion) vs. Lenovo X1 Carbon (Windows 8)