EFI tech helps PCs boot up in 10 seconds