I'd wager this just grays out the menu entries, as a factory reset, while probably done for privacy reasons in that case, also happens, to, as a byproduct, remove the pin lock
.
(i.e., I doubt there's a specific "let me just kill the pincode" codepath for that convoluted setup).