OfflinePedia/Formateo x64

Basarse en las instrucciones principales de aquí: https://es.wikibooks.org/wiki/OfflinePedia/Formateo_i686

Acceder a la BIOS

Algunos sistemas de 64 bits tienen Arranque Rápido y/o Arranque seguro activado, entonces no es tan trivial arrancarlas desde un USB booteable.

The first screen in the boot options menu.

Desde Windows 8.1

Antes de apagar el computador (Haciendo clic en el botón de apagado) se despliega un menu con las siguientes opciones: Apagar, Reiniciar o Suspender. Cuando mantienes presionado 'Shift' y seleccionas 'Reiniciar' el computador te desplegará el menú de arranque rápido.

En Arranque rápido, selecciona la opción con ícono de herramientas. En este caso, la opción se llama 'Troubleshooting'