USB booting :: how fast is boot time