Yo entiendo que tiene dos contraseñas. Una en la BIOS y otra en Windows y no puede formatearlo por que no puede arrancarlo desde un USB externo. La contraseña de la BIOS puede ser jodida por que lo mismo es una placa protegida y la única solución sea cambiar la placa madre si no sabes la contraseña. Tuve un Lenovo del curro que era así, si no sabias la clave ya podías darlo por perdido o cambiar la placa madre.