Given how vague they are about the exact chip, I wouldn't be surprised if the answer isn't "whichever one was cheapest that run and met listed specs".

Not saying its a bad thing, just speculating. Swapping out "equal performance" parts based on price and/or availability is very common in the electronics world.