Allora, ho provato a flashare una rom diversa dalle due precedenti, la FlymeOS. Avvio, tutto regolare, nessuna richiesta del pin.
Mi sembra impossibile che bastasse mettere un'altra rom, ma per il momento sembra proprio così.
Mi faccio un backup di qualsiasi cosa trovo, per sicurezza, poi proverò a tornare alla stock.
Il suggerimento di provare un'altra rom non era per nulla particolare, ma era una cosa banale a cui non avevo pensato, quindi grazie @angel1b e @becar