¿Alguien sabe cómo se resetea la BIOS de un portátil HP? ¿Tengo que abrirlo y quitar la pila de la placa durante un tiempo o hay otra manera?