Este es el tutorial de Hiren Boot Cd que me habían pedido. Lo explico al detalle y he conseguido que además se conecte inalámbricamente mediante wifi, así que tendrán un Windows PE para reparar la pc con acceso a internet. Página Oficial: Cómo saber si tu procesador es de x64 bits: #HirensBootCD