Ken has reinstalled Windows 10 on an old Dell laptop, and it's running way too slow. So he's trying to install Linux instead. But it won't boot from the USB key no matter how hard he tries. Leo says to make sure you format the USB key into a UEFI format. That should enable it to read it.