Para ello necesistas la iso que lleva uefi, y solo la x64, ni la que viene la pro ni la enteprise(no sirven para eso), en los portatiles viene la 8 u 8.1 core, asi se llama, si necesitas reparar el boot de los sistemas, con los discos de reparacion o de instalacion de cualquiera que haya de internet te servirá, pero no las modificadas, y si seguro que es un portatil hp,tienes la posibilidad de restarurar el estado con la particion oculta, de F9.ademas, creo que con "The Windows Media Creation Tool" te puede servir para la iso solamente y un pen para ponerla
saludos
